Norrathep Rattanavipanon

Jakapan Suaboot

Warodom Werapun

IEEE Access, 2025

2024

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

[BibT_eX]

[DOI]

IEEE Commun. Mag., July, 2024

On the Verification of Control Flow Attestation Evidence.

[BibT_eX]

[DOI]

CoRR, 2024

TRACES: TEE-based Runtime Auditing for Commodity Embedded Systems.

[BibT_eX]

[DOI]

Antonio Joia Neto

CoRR, 2024

Poisoning Prevention in Federated Learning and Differential Privacy via Stateful Proofs of Execution.

[BibT_eX]

[DOI]

CoRR, 2024

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

[BibT_eX]

[DOI]

CoRR, 2024

A Query Language to Enhance Security and Privacy of Blockchain as a Service (BaaS).

[BibT_eX]

[DOI]

Nasrin Sohrabi

Zahir Tari

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

2023

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

[BibT_eX]

[DOI]

Seoyeon Hwang

CoRR, 2023

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

[BibT_eX]

[DOI]

Chissanupong Jiamsuchon

Jakapan Suaboot

CoRR, 2023

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

[BibT_eX]

[DOI]

Proceedings of the 32nd USENIX Security Symposium, 2023

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

[BibT_eX]

[DOI]

Seoyeon Hwang

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

2022

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

[BibT_eX]

[DOI]

Nasrin Sohrabi

Zahir Tari

CoRR, 2022

Detecting Anomalous LAN Activities under Differential Privacy.

[BibT_eX]

[DOI]

CoRR, 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Locasto

Hassen Saïdi

CoRR, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables.

[BibT_eX]

[DOI]

Michael Locasto

Hassen Saïdi

Proceedings of the Applied Cryptography and Network Security, 2020

2019

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

[BibT_eX]

[DOI]

PhD thesis, 2019

Remote Attestation via Self-Measurement.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

Michael Steiner

Proceedings of the 28th USENIX Security Symposium, 2019

Towards Systematic Design of Collective Remote Attestation Protocols.

[BibT_eX]

[DOI]

Ghada Dessouky

Ahmad Ibrahim

Ahmad-Reza Sadeghi

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.

[BibT_eX]

[DOI]

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

2018

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

[BibT_eX]

[DOI]

N. Asokan

Thomas Nyman

Ahmad-Reza Sadeghi

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

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

[BibT_eX]

[DOI]

Ivan Oliveira Nunes

Michael Steiner

CoRR, 2018

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Ahmad-Reza Sadeghi

Proceedings of the 55th Annual Design Automation Conference, 2018

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

[BibT_eX]

[DOI]

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

2017

Probabilistic and Considerate Attestation of IoT Devices against Roving Malware.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Karim El Defrawy