Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Hardware-Intrinsic Authentication for Constrained IoT : Design, Reliability, and Formal Verification of Enhanced Arbiter PUF-Based Protocols

Rizka Reza Pahlevi

Published Sep 25, 2026• 0 citations
OpenAlex

Related papers

PUF-Based Lightweight Authentication Protocol for IoT Devices

Amita V. Shah., Hetal Bhargav Pandya, Mukesh Soni +3 more

Lecture notes in networks and systems•Jan 1, 2023•2 citations

PUF based Lightweight Authentication and Key Exchange Protocol for IoT

Sourav Roy, Dipnarayan Das, Anindan Mondal +3 more

International Conference on Security and Cryptography•Jan 1, 2021•15 citations

A practical and flexible PUF-based end-to-end anonymous authentication protocol for IoT

Sensen Li, Yicai Huang, Bin Yu

Computer Networks•Apr 27, 2024•16 citations

PUF-based mutual authentication and session key establishment protocol for IoT devices

Fahem Zerrouki, Samir Ouchani, Hafida Bouarfa

Journal of Ambient Intelligence and Humanized Computing•Aug 6, 2022•34 citations

Lightweight and Stateless PUF-based Authentication Key Exchange Protocol for IoT Devices

Koki Mizoguchi, Rizka Reza Pahlevi, Hajime Shimada +2 more

IEEE Annual International Computer Software and Applications Conference (COMPSAC)•Jul 1, 2026•0 citations

Practical and Efficient PUF-Based Protocol for Authentication and Key Agreement in IoT

Sivappriya Manivannan, Rajat Subhra Chakraborty, Indrajit Chakrabarti +1 more

The immense potential of the Internet of Things (IoT) is challenged by grave security vulnerabilities that are easily exploitable in resource-constrained environments. We propose a lightweight Authentication and Key Agreement (AKA) protocol to derive a shared session key for each communicating node in amutually communicating cluster of IoT nodes. Each IoT device is embedded with a Physically Unclonable Function (PUF), and a Fuzzy Extractor (FE) is deployed to correct and reproduce the private key and public helper data pair from the possibly erroneous PUF response. This secret raw PUF response is not stored explicitly in the server. A forward-secure authenticated key agreement is achieved by incorporating Elliptic Curve Diffie-Hellman Key Exchange (ECDH) protocol. The security of the proposed scheme has been formally verified while considering both active and passive attackers using the Verifpal tool. A prototype implementation with the Arbiter PUF circuit, FE, and associated software has successfully demonstrated the efficacy of our scheme.

IEEE Embedded Systems Letters•Aug 2, 2023•15 citations
The immense potential of the Internet of Things (IoT) is challenged by grave security vulnerabilities that are easily exploitable in resource-constrained environments. We propose a lightweight Authentication and Key Agreement (AKA) protocol to derive a shared session key for each communicating node in amutually communicating cluster of IoT nodes. Each IoT device is embedded with a Physically Unclonable Function (PUF), and a Fuzzy Extractor (FE) is deployed to correct and reproduce the private key and public helper data pair from the possibly erroneous PUF response. This secret raw PUF response is not stored explicitly in the server. A forward-secure authenticated key agreement is achieved by incorporating Elliptic Curve Diffie-Hellman Key Exchange (ECDH) protocol. The security of the proposed scheme has been formally verified while considering both active and passive attackers using the Verifpal tool. A prototype implementation with the Arbiter PUF circuit, FE, and associated software has successfully demonstrated the efficacy of our scheme.