Vincent Rahli
AuthID: R-00H-4F4
1
TÃTULO: Intrusion Resilience Systems for Modern Vehicles
AUTORES: Ali Shoker; Vincent Rahli; Jérémie Decouchant; Paulo Esteves Veríssimo;
PUBLICAÇÃO: 2023, FONTE: 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023
AUTORES: Ali Shoker; Vincent Rahli; Jérémie Decouchant; Paulo Esteves Veríssimo;
PUBLICAÇÃO: 2023, FONTE: 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Intrusion Resilience Systems for Modern Vehicles
AUTORES: Ali Shoker; Vincent Rahli; Jeremie Decouchant; Paulo Esteves Veríssimo;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.04184
AUTORES: Ali Shoker; Vincent Rahli; Jeremie Decouchant; Paulo Esteves Veríssimo;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.04184
INDEXADO EM: DBLP
DBLP3
TÃTULO: PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite
AUTORES: David Kozhaya; Jérémie Decouchant; Vincent Rahli; Paulo Esteves Veríssimo ;
PUBLICAÇÃO: 2021, FONTE: IEEE Trans. Parallel Distributed Syst., VOLUME: 32, NÚMERO: 9
AUTORES: David Kozhaya; Jérémie Decouchant; Vincent Rahli; Paulo Esteves Veríssimo ;
PUBLICAÇÃO: 2021, FONTE: IEEE Trans. Parallel Distributed Syst., VOLUME: 32, NÚMERO: 9
INDEXADO EM: DBLP
DBLP4
TÃTULO: PISTIS: From a Word-of-Mouth to a Gentleman's Agreement
AUTORES: David Kozhaya; Jeremie Decouchant; Vincent Rahli; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.10958
AUTORES: David Kozhaya; Jeremie Decouchant; Vincent Rahli; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.10958
INDEXADO EM: DBLP
DBLP5
TÃTULO: Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
AUTORES: Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
AUTORES: Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2018, FONTE: Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, VOLUME: 10801
INDEXADO EM: DBLP
DBLP6
TÃTULO: Meeting the Challenges of Critical and Extreme Dependability and Security
AUTORES: Paulo Jorge Esteves Veríssimo ; Marcus Völp; Jeremie Decouchant; Vincent Rahli; Francisco Rocha;
PUBLICAÇÃO: 2017, FONTE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
AUTORES: Paulo Jorge Esteves Veríssimo ; Marcus Völp; Jeremie Decouchant; Vincent Rahli; Francisco Rocha;
PUBLICAÇÃO: 2017, FONTE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXADO EM: DBLP
DBLP7
TÃTULO: Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control
AUTORES: Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016
AUTORES: Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo ;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016
INDEXADO EM: DBLP
DBLP