Norrathep Rattanavipanon

47 papers A* 7A 7Journal 26Unranked 6

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography. IEEE Access Norrathep Rattanavipanon, Jakapan Suaboot, Warodom Werapun
2025	J	`jnl`	Exploring Cross-Client Memorization of Training Data in Large Language Models for Federated Learning. CoRR Tinnakit Udsa, Can Udomcharoenchaikit, Patomporn Payoungkhamdee, Sarana Nutanong, Norrathep Rattanavipanon
2025	A*	`conf`	PEARTS: Provable Execution in Real-Time Embedded Systems. SP Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	J	`jnl`	Provable Execution in Real-Time Embedded Systems. CoRR Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	—	`conf`	Run-time Attestation and Auditing: The Verifier's Perspective. WISEC Adam Ilyas Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2025	J	`jnl`	SLAPP: Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. IEEE Trans. Inf. Forensics Secur. Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	—	`conf`	A Query Language to Enhance Security and Privacy of Blockchain as a Service (BaaS). ICSOC (2) Nasrin Sohrabi, Norrathep Rattanavipanon, Zahir Tari
2024	J	`jnl`	A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography. CoRR Norrathep Rattanavipanon, Jakapan Suaboot, Warodom Werapun
2024	J	`jnl`	On the Verification of Control Flow Attestation Evidence. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. CoRR Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	A	`conf`	TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. ACSAC Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. CoRR Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2024	J	`jnl`	Toward Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. IEEE Commun. Mag. Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2024	J	`jnl`	Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2023	A	`conf`	$\mathcal{P}\text{ARseL}$: Towards a Verified Root-of-Trust Over seL4. ICCAD Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2023	A*	`conf`	ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. USENIX Security Symposium Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2023	J	`jnl`	ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2023	J	`jnl`	On the feasibility of attacking Thai LPR systems with adversarial examples. CoRR Chissanupong Jiamsuchon, Jakapan Suaboot, Norrathep Rattanavipanon
2023	J	`jnl`	PARseL: Towards a Verified Root-of-Trust over seL4. CoRR Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2022	J	`jnl`	ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. CoRR Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2022	A*	`conf`	ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. DAC Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes
2022	J	`jnl`	Detecting Anomalous LAN Activities under Differential Privacy. CoRR Norrathep Rattanavipanon, Donlapark Ponnoprat, Hideya Ochiai, Kuljaree Tantayakul, Touchai Angchuan, Sinchai Kamolphiwong
2022	J	`jnl`	πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain. CoRR Nasrin Sohrabi, Norrathep Rattanavipanon, Zahir Tari
2021	A*	`conf`	On the TOCTOU Problem in Remote Attestation. CCS Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2020	A*	`conf`	APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. USENIX Security Symposium Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2020	J	`jnl`	On the TOCTOU Problem in Remote Attestation. CoRR Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik
2020	—	`conf`	Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Saïdi
2020	J	`jnl`	Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR Karim Eldefrawy, Michael E. Locasto, Norrathep Rattanavipanon, Hassen Saïdi
2019	J	`jnl`	A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. CoRR Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2019	A	`conf`	PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems. ICCAD Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2019	J	`jnl`	Remote Attestation via Self-Measurement. ACM Trans. Design Autom. Electr. Syst. Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
2019	—	`—`	Secure Remote Attestation for Safety-Critical Embedded and IoT Devices. Norrathep Rattanavipanon
2019	A	`conf`	Towards Systematic Design of Collective Remote Attestation Protocols. ICDCS Ivan De Oliveira Nunes, Ghada Dessouky, Ahmad Ibrahim, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
2019	A*	`conf`	VRASED: A Verified Hardware/Software Co-Design for Remote Attestation. USENIX Security Symposium Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
2018	J	`jnl`	ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. CoRR N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
2018	J	`jnl`	ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
2018	A	`conf`	ERASMUS: Efficient remote attestation via self-measurement for unattended settings. DATE Xavier Carpent, Gene Tsudik, Norrathep Rattanavipanon
2018	J	`jnl`	Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
2018	A*	`conf`	Reconciling remote attestation and safety-critical operation on simple IoT devices. DAC Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik
2018	—	`conf`	Remote attestation of IoT devices via SMARM: Shuffled measurements against roving malware. HOST Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
2018	A	`conf`	Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. AsiaCCS Xavier Carpent, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2017	J	`jnl`	ERASMUS: Efficient Remote Attestation via Self- Measurement for Unattended Settings. CoRR Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik
2017	—	`conf`	FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. DSN Workshops Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2017	J	`jnl`	HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). CoRR Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2017	—	`conf`	HYDRA: hybrid design for remote attestation (using a formally verified microkernel). WISEC Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2017	A	`conf`	Lightweight Swarm Attestation: A Tale of Two LISA-s. AsiaCCS Xavier Carpent, Karim El Defrawy, Norrathep Rattanavipanon, Gene Tsudik
2017	J	`jnl`	Probabilistic and Considerate Attestation of IoT Devices against Roving Malware. IACR Cryptol. ePrint Arch. Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik