Adam Caulfield, Norrathep Rattanavipanon, and Ivan De Oliveira Nunes, ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems, DAC, 2022.

Link:    Month/Year: 7/2022

Nattawat Songsom, Warodom Werapun, Jakapan Suaboot, and Norrathep Rattanavipanon, The SWC-based Security Analysis Tool for Smart Contract Vulnerability Detection, INCIT, 2022.

Month/Year: 10/2022

Norrathep Rattanavipanon, Donlapark Ponnoprat, Hideya Ochiai, Kuljaree Tantayakul, Touchai Angchuan, and Sinchai Kamolphiwong, Releasing ARP Data with Differential Privacy Guarantees For LAN Anomaly Detection, ECTI-CON 2021.

Month/Year: 5/2021

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, and Gene Tsudik, On the TOCTOU Problem in Remote Attestation, CCS, 2021.

Month/Year: 11/2021

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, 2020. 

Month/Year: 8/2020

Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, and Hassen Saidi, Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables, Applied Cryptography and Network Security (ACNS), 2020.

Month/Year: 10/2020

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 ICCAD, 2019.

Month/Year: 10/2019

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, and Gene Tsudik, VRASED: A Verified Hardware/Software Co-Design for Remote Attestation, in USENIX Security, 2019. 

Month/Year: 8/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 ICDCS, 2019.

Month/Year: 6/2019

N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, and Gene Tsudik, ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices, EMSOFT, 2018. 

Month/Year: 8/2018

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, and Gene Tsudik, Invited: Reconciling Remote Attestation and Safety-Critical Operation on Simple IoT Devices, DAC, 2018.

Month/Year: 8/2018

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik, Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security, ACM ASIACCS, 2018. 

Month/Year: 5/2018

Xavier Carpent, Norrathep Rattanavipanon, and Gene Tsudik, Remote Attestation of IoT Devices via SMARM: Shuffled Measurements Against Roving Malware, IEEE HOST, 2018.

Month/Year: 4/2018

Xavier Carpent, Norrathep Rattanavipanon, and Gene Tsudik, ERASMUS: Efficient Remote Attestation via Self-Measurement for Unattended Settings, DATE, 2018.

Month/Year: 4/2018

Karim ElDefrawy, Norrathep Rattanavipanon and Gene Tsudik, HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel), ACM WiSEC 2017.

Month/Year: 10/2017

Xavier Carpent, Karim ElDefrawy, Norrathep Rattanavipanon, and Gene Tsudik, LIghtweight Swarm Attestation: A Tale of Two LISAs, ACM ASIACCS, 2017.

Month/Year: 4/2017