Paulo Esteves Veríssimo

24 papers A 1B 4Journal 15Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
EVOLVE: a Value-Added Services Platform for Electric Vehicle Charging Stations.
CoRR
Erick Silva, Tadeu Freitas, Rehana Yasmin, Ali Shoker, Paulo Esteves Veríssimo
2025 A conf
Re-examine Federated Rank Learning: Analyzing Its Robustness Against Poisoning Attacks.
RAID
Xiaofei Huang, Xiaojie Zhu, Chi Chen, Paulo Esteves Veríssimo
2025 J jnl
ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips.
IEEE Trans. Very Large Scale Integr. Syst.
Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Esteves Veríssimo
2024 J jnl
Efficient On-Chip Replication.
IEEE Access
Inês Pinto Gouveia, Rafal Graczyk, Marcus Völp, Paulo Esteves Veríssimo
2024 J jnl
Goldfish: An Efficient Federated Unlearning Framework.
CoRR
Houzhe Wang, Xiaojie Zhu, Chi Chen, Paulo Esteves Veríssimo
2024 J jnl
PagPassGPT: Pattern Guided Password Guessing via Generative Pretrained Transformer.
CoRR
Xingyu Su, Xiaojie Zhu, Yang Li, Yong Li, Chi Chen, Paulo Esteves Veríssimo
2024 B conf
Resilient and Secure Programmable System-on-Chip Accelerator Offload.
SRDS
Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Esteves Veríssimo
2024 J jnl
Savvy: Trustworthy Autonomous Vehicles Architecture.
CoRR
Ali Shoker, Rehana Yasmin, Paulo Esteves Veríssimo
2023 — conf
Attacks on tomorrow's virtual world.
DSN-S
Iliès Benhabbour, Yérom-David Bromberg, Marc Dacier, Sven Dietrich, Rodrigo Seromenho Miragaia Rodrigues, Paulo Esteves Veríssimo
2023 — conf
Intrusion Resilience Systems for Modern Vehicles.
VTC2023-Spring
Ali Shoker, Vincent Rahli, Jérémie Decouchant, Paulo Esteves Veríssimo
2023 J jnl
Intrusion Resilience Systems for Modern Vehicles.
CoRR
Ali Shoker, Vincent Rahli, Jeremie Decouchant, Paulo Esteves Veríssimo
2023 — conf
Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks.
EuroSec@EUROSYS
Ahmad Tariq Sheikh, Ali Shoker, Paulo Esteves Veríssimo
2023 B conf
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles.
SRDS
Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo
2023 J jnl
ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles.
CoRR
Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo
2023 J jnl
System on Chip Rejuvenation in the Wake of Persistent Attacks.
CoRR
Ahmad T. Sheikh, Ali Shoker, Paulo Esteves Veríssimo
2023 — conf
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip.
DSN-S
Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp
2023 J jnl
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip.
CoRR
Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp
2023 J jnl
Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols.
CoRR
Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves Veríssimo, Jiangshan Yu
2022 J jnl
Behind the last line of defense: Surviving SoC faults and intrusions.
Comput. Secur.
Inês Pinto Gouveia, Marcus Völp, Paulo Esteves Veríssimo
2021 J jnl
Chaos Engineering for Enhanced Resilience of Cyber-Physical Systems.
CoRR
Charalambos Konstantinou, George Stergiopoulos, Masood Parvania, Paulo Esteves Veríssimo
2021 B conf
Characterizing the Impact of Network Delay on Bitcoin Mining.
SRDS
Tong Cao, Jérémie Decouchant, Jiangshan Yu, Paulo Esteves Veríssimo
2021 J jnl
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite.
IEEE Trans. Parallel Distributed Syst.
David Kozhaya, Jérémie Decouchant, Vincent Rahli, Paulo Esteves Veríssimo
2021 J jnl
Sanctuary lost: a cyber-physical warfare in space.
CoRR
Rafal Graczyk, Paulo Esteves Veríssimo, Marcus Völp
2021 B conf
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication.
SRDS
Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves Veríssimo