Norrathep Rattanavipanon

According to our database, Norrathep Rattanavipanon authored at least 28 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2024

2023

PARseL: Towards a Verified Root-of-Trust over seL4.

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2023

On the feasibility of attacking Thai LPR systems with adversarial examples.

Chissanupong Jiamsuchon, Jakapan Suaboot, Norrathep Rattanavipanon

CoRR, 2023

ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation.

Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

Proceedings of the 32nd USENIX Security Symposium, 2023

$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4.

Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

2022

πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain.

Nasrin Sohrabi, Norrathep Rattanavipanon, Zahir Tari

CoRR, 2022

Detecting Anomalous LAN Activities under Differential Privacy.

Norrathep Rattanavipanon, Donlapark Ponnoprat, Hideya Ochiai, Kuljaree Tantayakul, Touchai Angchuan, Sinchai Kamolphiwong

CoRR, 2022

ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems.

Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

On the TOCTOU Problem in Remote Attestation.

Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version.

Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi

CoRR, 2020

APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 29th USENIX Security Symposium, 2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables.

Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi

Proceedings of the Applied Cryptography and Network Security, 2020

2019

Secure Remote Attestation for Safety-Critical Embedded and IoT Devices.

Norrathep Rattanavipanon

PhD thesis, 2019

Remote Attestation via Self-Measurement.

Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik

ACM Trans. Design Autom. Electr. Syst., 2019

A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

CoRR, 2019

VRASED: A Verified Hardware/Software Co-Design for Remote Attestation.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

Proceedings of the 28th USENIX Security Symposium, 2019

Towards Systematic Design of Collective Remote Attestation Protocols.

Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems.

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices.

N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Formally Verified Hardware/Software Co-Design for Remote Attestation.

Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

CoRR, 2018

Remote attestation of IoT devices via SMARM: Shuffled measurements against roving malware.

Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 2018 IEEE International Symposium on Hardware Oriented Security and Trust, 2018

ERASMUS: Efficient remote attestation via self-measurement for unattended settings.

Xavier Carpent, Gene Tsudik, Norrathep Rattanavipanon

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Reconciling remote attestation and safety-critical operation on simple IoT devices.

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik

Proceedings of the 55th Annual Design Automation Conference, 2018

Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security.

Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 2018 on Asia Conference on Computer and Communications Security, 2018

2017

Probabilistic and Considerate Attestation of IoT Devices against Roving Malware.

Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik

IACR Cryptol. ePrint Arch., 2017

HYDRA: hybrid design for remote attestation (using a formally verified microkernel).

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2017

FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned.

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2017

Lightweight Swarm Attestation: A Tale of Two LISA-s.

Xavier Carpent, Karim El Defrawy, Norrathep Rattanavipanon, Gene Tsudik

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017