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

Extracting secret keys from integrated circuits

Daihyun Lim, J.W. Lee, Blaise Gassend et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2005 · 1K citations

Hardware Trojan, Engineering, Information Security +17

Refinement types for secure implementations

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet et al. · ACM Transactions on Programming Languages and Systems · 2011 · 224 citations · Full text

Engineering, Information Security, Type Theory +22

Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties

Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations

Hardware Security, Advanced Security Properties, Naxos Protocol +15

Physical Layer Security for the Internet of Things: Authentication and Key Generation

Junqing Zhang, Sekhar Rajendran, Zhi Sun et al. · IEEE Wireless Communications · 2019 · 197 citations · Full text

Lightweight Authentication Mechanism, Engineering, Wireless Security +15

Privacy-Aware Authenticated Key Agreement Scheme for Secure Smart Grid Communication

Prosanta Gope, Biplab Sikdar · IEEE Transactions on Smart Grid · 2018 · 164 citations · Full text

Lightweight Authentication Mechanism, Engineering, Authentication Protocol +14