Paulo Jorge Esteves Veríssimo
AuthID: R-000-EDS
11
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
DBLP IN MY: DBLP
DBLP12
TITLE: The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip
AUTHORS: Ali Shoker; Paulo Esteves Veríssimo; Marcus Völp;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.01783
AUTHORS: Ali Shoker; Paulo Esteves Veríssimo; Marcus Völp;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.01783
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles
AUTHORS: Ali Shoker; Fernando Alves; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: 42nd International Symposium on Reliable Distributed Systems, SRDS 2023, Marrakesh, Morocco, September 25-29, 2023
AUTHORS: Ali Shoker; Fernando Alves; Paulo Esteves Veríssimo;
PUBLISHED: 2023, SOURCE: 42nd International Symposium on Reliable Distributed Systems, SRDS 2023, Marrakesh, Morocco, September 25-29, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP14
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
DBLP IN MY: DBLP
DBLP15
TITLE: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP16
TITLE: Behind the last line of defense: Surviving SoC faults and intrusions
AUTHORS: Inês Pinto Gouveia; Marcus Völp; Paulo Esteves Veríssimo;
PUBLISHED: 2022, SOURCE: Comput. Secur., VOLUME: 123
AUTHORS: Inês Pinto Gouveia; Marcus Völp; Paulo Esteves Veríssimo;
PUBLISHED: 2022, SOURCE: Comput. Secur., VOLUME: 123
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP17
TITLE: How to avoid the cost of causal communication in large-scale systems
AUTHORS: Luís Rodrigues; Paulo Veríssimo;
PUBLISHED: 1994, SOURCE: EW 1994 - Proceedings of the 6th ACM SIGOPS European Workshop on Matching Operating Systems to Application Needs
AUTHORS: Luís Rodrigues; Paulo Veríssimo;
PUBLISHED: 1994, SOURCE: EW 1994 - Proceedings of the 6th ACM SIGOPS European Workshop on Matching Operating Systems to Application Needs
INDEXED IN: 
Scopus
Scopus