Norrathep Rattanavipanon

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 35

Top Topics

Embedded Systems

Remote Attestation

Top Venues

USENIX Security Symposium

Publications

Norrathep Rattanavipanon, Ivan De Oliveira Nunes
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. CoRR (2024)
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR (2024)
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. IEEE Commun. Mag. 62 (7) (2024)
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. ICCAD (2023)
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. USENIX Security Symposium (2023)
Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
PARseL: Towards a Verified Root-of-Trust over seL4. CoRR (2023)
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. CoRR (2023)
Chissanupong Jiamsuchon, Jakapan Suaboot, Norrathep Rattanavipanon
On the feasibility of attacking Thai LPR systems with adversarial examples. CoRR (2023)
Nasrin Sohrabi, Norrathep Rattanavipanon, Zahir Tari
πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain. CoRR (2022)
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. DAC (2022)
Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. CoRR (2022)
Norrathep Rattanavipanon, Donlapark Ponnoprat, Hideya Ochiai, Kuljaree Tantayakul, Touchai Angchuan, Sinchai Kamolphiwong
Detecting Anomalous LAN Activities under Differential Privacy. CoRR (2022)
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
On the TOCTOU Problem in Remote Attestation. CCS (2021)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. USENIX Security Symposium (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR (2020)
Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) (2020)
Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
On the TOCTOU Problem in Remote Attestation. CoRR (2020)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. CoRR (2019)
Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
Towards Systematic Design of Collective Remote Attestation Protocols. ICDCS (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. ICCAD (2019)
Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
Remote Attestation via Self-Measurement. ACM Trans. Design Autom. Electr. Syst. 24 (1) (2019)
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium (2019)
Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
Reconciling remote attestation and safety-critical operation on simple IoT devices. DAC (2018)
Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. AsiaCCS (2018)
Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR (2018)
N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Xavier Carpent, Gene Tsudik, Norrathep Rattanavipanon
ERASMUS: Efficient remote attestation via self-measurement for unattended settings. DATE (2018)
Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
Remote attestation of IoT devices via SMARM: Shuffled measurements against roving malware. HOST (2018)
N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. CoRR (2018)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). CoRR (2017)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. DSN Workshops (2017)
Xavier Carpent, Karim El Defrawy, Norrathep Rattanavipanon, Gene Tsudik
Lightweight Swarm Attestation: A Tale of Two LISA-s. AsiaCCS (2017)
Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
Probabilistic and Considerate Attestation of IoT Devices against Roving Malware. IACR Cryptol. ePrint Arch. 2017 (2017)
Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
HYDRA: hybrid design for remote attestation (using a formally verified microkernel). WISEC (2017)
Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
ERASMUS: Efficient Remote Attestation via Self- Measurement for Unattended Settings. CoRR (2017)