Publications & Technical Reports

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Youngil Kim, and Gene Tsudik CASU: Compromise Avoidance via Secure Update for Low-end Embedded Systems
ICCAD, 2022.
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, and Gene Tsudik Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA
IEEE S&P, 2022.
Esmerald Aliaj, Ivan De Oliveira Nunes, and Gene Tsudik GAROTA: Generalized Active Root-Of-Trust Architecture
USENIX Security, 2022.
Mahmoud Ammar, Bruno Crispo, Ivan De Oliveira Nunes, and Gene Tsudik Delegated Attestation: Scalable Remote Attestation of Commodity CPS by Blending Proofs of Execution with Software Attestation,
WiSec, 2021.
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, and Gene Tsudik On the TOCTOU Problem in Remote Attestation
CCS, 2021.
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti and Gene Tsudik DIALED: Data Integrity Attestation for Low-end Embedded Devices
DAC, 2021.
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti and Gene Tsudik Tiny-CFA: A Minimalistic Approach for Control Flow Attestation Using Verified Proofs of Execution
DATE, 2021.
Mahmoud Ammar, Bruno Crispo and Gene Tsudik SIMPLE: A Remote Attestation Approach for Resource-Constrained IoT
International Conference on Cyber-Physical Systems (ICCPS/CPSWeek), 2020.
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon and Gene Tsudik APEX: A Verified Architecture for Proofs of Execution on Remote Devices Under Full Software Compromise
USENIX Security Symposium, 2020.
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner and Gene Tsudik VRASED: A Verified Hardware/Software Co-Design for Remote Attestation
USENIX Security Symposium, 2019.
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon and Gene Tsudik PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in Low-End Embedded Systems
IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2019.
Karim Eldefrawy and Gene Tsudik
Opinion: Advancing Remote Attestation via Computer-aided Formal Verification of Designs and Synthesis of Executables
ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSEC 2019), 2019.
Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi and Gene Tsudik
Towards Systematic Design of Collective Remote Attestation Protocols
IEEE International Conference on Distributed Computing Systems (ICDCS), 2019.
Ahmad Ibrahim, Ahmad-Reza Sadeghi,Gene Tsudik,
HEALED: HEaling & Attestation for Low-End Embedded Devices
Financial Cryptography, 2019.
Hailun Tan, Gene Tsudik, Sanjay Jha,
MTRA: Multi-Tier randomized remote attestation in IoT networks
Computers & Security, 2019.
N. Asokan, T. Nyman, N. Rattanavipanon, A. Sadeghi and G. Tsudik
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices
International Conference on Embedded Software (EMSOFT), 2018.
A. Ibrahim, A. Sadeghi and G. Tsudik
AID: Autonomous Attestation of IoT Devices
International Symposium on Reliable Distributed Systems (SRDS), 2018.
X. Carpent, K. Eldefrawy, N. Rattanavipanon, A. Sadeghi and G. Tsudik
Invited: Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices
Design Automation Conference (DAC), 2018.
X. Carpent, N. Rattanavipanon and G. Tsudik
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security
ACM ASIACCS, 2018.
X. Carpent, N. Rattanavipanon and G. Tsudik
Remote Attestation of IoT Devices via SMARM: Shuffled Measurements Against Roving Malware
IEEE HOST, 2018.
X. Carpent, N. Rattanavipanon and G. Tsudik
ERASMUS: Efficient Remote Attestation via Self-Measurement for Unattended Settings
IEEE/ACM Design, Automation, and Test in Europe (DATE), 2018.
Z. Zhang, X. Ding, G. Tsudik, J. Cui and Z. Li
Presence Attestation: The Missing Link in Dynamic Trust Bootstrapping
ACM CCS, 2017.
Hailun Tan, Gene Tsudik, Sanjay Jha,
MTRA: Multiple-tier remote attestation in IoT networks,
IEEE CNS 2017.
K. El Defrawy, N. Rattanavipanon and G. Tsudik
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel)
ACM WiSEC, 2017.
X. Carpent, K. El Defrawy, N. Rattanavipanon and G. Tsudik
LIghtweight Swarm Attestation: A Tale of Two LISAs
ASIACCS, 2017.
T. Abera, N. Asokan, L. Davi, J. Ekberg, T. Nyman, A. Paverd, A. Sadeghi and G. Tsudik
C-FLAT: Control-FLow ATtestation for Embedded Systems Software
ACM CCS, 2016.
A. Ibrahim, A. Sadeghi, G. Tsudik and S. Zeitouni
DARPA: Device Attestation Resilient to Physical Attacks
ACM WiSEC, 2016.
T. Abera, N. Asokan, L. Davi, F. Koushanfar, A. Paverd, A. Sadeghi and G. Tsudik
INVITED: Things, Trouble, Trust: On Building Trust in IoT Systems
Design Automation Conference (DAC), 2016.
F. Brasser, K.B. Rasmussen, A. Sadeghi and G. Tsudik
Remote Attestation for Low-End Embedded Devices: the Prover’s Perspective
Design Automation Conference (DAC), 2016.
N. Asokan, F. Brasser, A. Ibrahim, A. Sadeghi, M. Schunter, G. Tsudik and C. Wachsmann
SEDA: Scalable Embedded Device Attestation
ACM Conference on Computer and Communications Security (CCS), 2015.
K. El Defrawy, G. Holland and G. Tsudik
Remote Attestation of Heterogeneous Cyber-Physical Systems: The Automotive Use Case
Conference on Embedded Security in Cars (ESCAR), 2015. Slides.
A. Francillon, Q. Nguyen, K.B. Rasmussen and G. Tsudik
Systematic Treatment of Remote Attestation (ePrint)
IEEE/ACM Design, Automation, and Test in Europe (DATE), 2014.
Q. Nguyen
Issues in Software-based Attestation
CyberSecurity for the Next Generation, North American Round, 2012.
K. Eldefrawy, A. Francillon, D. Perito and G. Tsudik
SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust
ISOC Symposium on Network and Distributed System Security (NDSS), 2012.
D. Perito and G. Tsudik
Secure Code Update for Embedded Devices via Proofs of Secure Erasure
European Symposium on Research in Computer Security (ESORICS), 2010.