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