Vincent Rahli
AuthID: R-00H-4F4
1
TITLE: Intrusion Resilience Systems for Modern Vehicles
AUTHORS: Ali Shoker; Vincent Rahli; Jérémie Decouchant; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023
AUTHORS: Ali Shoker; Vincent Rahli; Jérémie Decouchant; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: 97th IEEE Vehicular Technology Conference, VTC Spring 2023, Florence, Italy, June 20-23, 2023
INDEXED IN: 
DBLP
DBLP2
TITLE: Intrusion Resilience Systems for Modern Vehicles
AUTHORS: Ali Shoker; Vincent Rahli; Jeremie Decouchant; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.04184
AUTHORS: Ali Shoker; Vincent Rahli; Jeremie Decouchant; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.04184
INDEXED IN: DBLP
DBLP3
TITLE: PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite
AUTHORS: David Kozhaya; Jérémie Decouchant; Vincent Rahli; Paulo Esteves Veríssimo ;
PUBLISHED: 2021, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 32, ISSUE: 9
AUTHORS: David Kozhaya; Jérémie Decouchant; Vincent Rahli; Paulo Esteves Veríssimo ;
PUBLISHED: 2021, SOURCE: IEEE Trans. Parallel Distributed Syst., VOLUME: 32, ISSUE: 9
INDEXED IN: DBLP
DBLP4
TITLE: PISTIS: From a Word-of-Mouth to a Gentleman's Agreement
AUTHORS: David Kozhaya; Jeremie Decouchant; Vincent Rahli; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.10958
AUTHORS: David Kozhaya; Jeremie Decouchant; Vincent Rahli; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.10958
INDEXED IN: DBLP
DBLP5
TITLE: Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
AUTHORS: Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Vincent Rahli; Ivana Vukotic; Marcus Völp; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: DBLP
DBLP6
TITLE: Meeting the Challenges of Critical and Extreme Dependability and Security
AUTHORS: Paulo Jorge Esteves Veríssimo ; Marcus Völp; Jeremie Decouchant; Vincent Rahli; Francisco Rocha;
PUBLISHED: 2017, SOURCE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
AUTHORS: Paulo Jorge Esteves Veríssimo ; Marcus Völp; Jeremie Decouchant; Vincent Rahli; Francisco Rocha;
PUBLISHED: 2017, SOURCE: 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017
INDEXED IN: DBLP
DBLP7
TITLE: Avoiding Leakage and Synchronization Attacks through Enclave-Side Preemption Control
AUTHORS: Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2016, SOURCE: Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016
AUTHORS: Marcus Völp; Adam Lackorzynski; Jérémie Decouchant; Vincent Rahli; Francisco Rocha; Paulo Jorge Esteves Veríssimo ;
PUBLISHED: 2016, SOURCE: Proceedings of the 1st Workshop on System Software for Trusted Execution, SysTEX@Middleware 2016, Trento, Italy, December 12, 2016
INDEXED IN: DBLP
DBLP