


default search action
Norrathep Rattanavipanon
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j4]Norrathep Rattanavipanon
, Jakapan Suaboot
, Warodom Werapun
:
A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography. IEEE Access 13: 4368-4380 (2025) - 2024
- [j3]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): 58-64 (2024) - [c17]Nasrin Sohrabi
, Norrathep Rattanavipanon
, Zahir Tari
:
A Query Language to Enhance Security and Privacy of Blockchain as a Service (BaaS). ICSOC (2) 2024: 299-313 - [i19]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices. CoRR abs/2401.04308 (2024) - [i18]Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution. CoRR abs/2404.06721 (2024) - [i17]Norrathep Rattanavipanon, Jakapan Suaboot, Warodom Werapun:
A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography. CoRR abs/2409.07852 (2024) - [i16]Adam Caulfield, Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems. CoRR abs/2409.19125 (2024) - [i15]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
On the Verification of Control Flow Attestation Evidence. CoRR abs/2411.10855 (2024) - 2023
- [c16]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: 1-9 - [c15]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. USENIX Security Symposium 2023: 5827-5844 - [i14]Chissanupong Jiamsuchon, Jakapan Suaboot, Norrathep Rattanavipanon:
On the feasibility of attacking Thai LPR systems with adversarial examples. CoRR abs/2301.05506 (2023) - [i13]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ACFA: Secure Runtime Auditing & Guaranteed Device Healing via Active Control Flow Attestation. CoRR abs/2303.16282 (2023) - [i12]Ivan De Oliveira Nunes, Seoyeon Hwang, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
PARseL: Towards a Verified Root-of-Trust over seL4. CoRR abs/2308.11921 (2023) - 2022
- [c14]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems. DAC 2022: 721-726 - [i11]Norrathep Rattanavipanon, Donlapark Ponnoprat, Hideya Ochiai, Kuljaree Tantayakul, Touchai Angchuan, Sinchai Kamolphiwong:
Detecting Anomalous LAN Activities under Differential Privacy. CoRR abs/2204.06704 (2022) - [i10]Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes:
ASAP: Reconciling Asynchronous Real-Time Operations and Proofs of Execution in Simple Embedded Systems. CoRR abs/2206.02894 (2022) - [i9]Nasrin Sohrabi
, Norrathep Rattanavipanon, Zahir Tari:
πQLB: A Privacy-preserving with Integrity-assuring Query Language for Blockchain. CoRR abs/2212.14141 (2022) - 2021
- [c13]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon
, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CCS 2021: 2921-2936 - 2020
- [c12]Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon
, Hassen Saïdi:
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables. ACNS (2) 2020: 364-384 - [c11]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: 771-788 - [i8]Karim Eldefrawy, Michael Locasto, Norrathep Rattanavipanon, Hassen Saïdi:
Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables: Extended Version. CoRR abs/2004.09713 (2020) - [i7]Ivan De Oliveira Nunes, Sashidhar Jakkamsetti, Norrathep Rattanavipanon, Gene Tsudik:
On the TOCTOU Problem in Remote Attestation. CoRR abs/2005.03873 (2020)
2010 – 2019
- 2019
- [b1]Norrathep Rattanavipanon:
Secure Remote Attestation for Safety-Critical Embedded and IoT Devices. University of California, Irvine, USA, 2019 - [j2]Xavier Carpent
, Norrathep Rattanavipanon
, Gene Tsudik:
Remote Attestation via Self-Measurement. ACM Trans. Design Autom. Electr. Syst. 24(1): 11:1-11:15 (2019) - [c10]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: 1-8 - [c9]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: 1188-1198 - [c8]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: 1429-1446 - [i6]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 abs/1908.02444 (2019) - 2018
- [j1]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): 2290-2300 (2018) - [c7]Xavier Carpent
, Karim Eldefrawy, Norrathep Rattanavipanon
, Gene Tsudik:
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security. AsiaCCS 2018: 313-327 - [c6]Xavier Carpent
, Karim Eldefrawy, Norrathep Rattanavipanon
, Ahmad-Reza Sadeghi, Gene Tsudik:
Reconciling remote attestation and safety-critical operation on simple IoT devices. DAC 2018: 90:1-90:6 - [c5]Xavier Carpent
, Gene Tsudik, Norrathep Rattanavipanon
:
ERASMUS: Efficient remote attestation via self-measurement for unattended settings. DATE 2018: 1191-1194 - [c4]Xavier Carpent
, Norrathep Rattanavipanon
, Gene Tsudik:
Remote attestation of IoT devices via SMARM: Shuffled measurements against roving malware. HOST 2018: 9-16 - [i5]N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik:
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. CoRR abs/1807.05002 (2018) - [i4]Karim Eldefrawy, Ivan Oliveira Nunes, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik:
Formally Verified Hardware/Software Co-Design for Remote Attestation. CoRR abs/1811.00175 (2018) - 2017
- [c3]Xavier Carpent
, Karim El Defrawy, Norrathep Rattanavipanon
, Gene Tsudik:
Lightweight Swarm Attestation: A Tale of Two LISA-s. AsiaCCS 2017: 86-100 - [c2]Karim Eldefrawy, Norrathep Rattanavipanon
, Gene Tsudik:
FUsing Hybrid Remote Attestation with a Formally Verified Microkernel: Lessons Learned. DSN Workshops 2017: 141-144 - [c1]Karim Eldefrawy, Norrathep Rattanavipanon
, Gene Tsudik:
HYDRA: hybrid design for remote attestation (using a formally verified microkernel). WISEC 2017: 99-110 - [i3]Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik:
HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel). CoRR abs/1703.02688 (2017) - [i2]Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik:
ERASMUS: Efficient Remote Attestation via Self- Measurement for Unattended Settings. CoRR abs/1707.09043 (2017) - [i1]Xavier Carpent, Norrathep Rattanavipanon, Gene Tsudik:
Probabilistic and Considerate Attestation of IoT Devices against Roving Malware. IACR Cryptol. ePrint Arch. 2017: 1216 (2017)
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint