Towards Hardware-Intrinsic Security: Foundations and Practice

✍ Scribed by Roel Maes, Ingrid Verbauwhede (auth.), Ahmad-Reza Sadeghi, David Naccache (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2010
• Tongue: English
• Leaves: 425
• Series: Information Security and Cryptography
• Edition: 1
• Category: Library

✦ Synopsis

Hardware-intrinsic security is a young field dealing with secure secret key storage. By generating the secret keys from the intrinsic properties of the silicon, e.g., from intrinsic Physical Unclonable Functions (PUFs), no permanent secret key storage is required anymore, and the key is only present in the device for a minimal amount of time. The field is extending to hardware-based security primitives and protocols such as block ciphers and stream ciphers entangled with the hardware, thus improving IC security. While at the application level there is a growing interest in hardware security for RFID systems and the necessary accompanying system architectures. This book brings together contributions from researchers and practitioners in academia and industry, an interdisciplinary group with backgrounds in physics, mathematics, cryptography, coding theory and processor theory. It will serve as important background material for students and practitioners, and will stimulate much further research and development.

✦ Table of Contents

Front Matter....Pages i-xvi
Front Matter....Pages 1-1
Physically Unclonable Functions: A Study on the State of the Art and Future Research Directions....Pages 3-37
Hardware Intrinsic Security from Physically Unclonable Functions....Pages 39-53
From Statistics to Circuits: Foundations for Future Physical Unclonable Functions....Pages 55-78
Strong PUFs: Models, Constructions, and Security Proofs....Pages 79-96
Front Matter....Pages 97-97
Leakage Resilient Cryptography in Practice....Pages 99-134
Memory Leakage-Resilient Encryption Based on Physically Unclonable Functions....Pages 135-164
Front Matter....Pages 165-165
Hardware Trojan Horses....Pages 167-187
Extracting Unknown Keys from Unknown Algorithms Encrypting Unknown Fixed Messages and Returning No Results....Pages 189-197
Front Matter....Pages 199-199
License Distribution Protocols from Optical Media Fingerprints....Pages 201-222
Anti-counterfeiting: Mixing the Physical and the Digital World....Pages 223-233
Front Matter....Pages 235-235
Anti-counterfeiting, Untraceability and Other Security Challenges for RFID Systems: Public-Key-Based Protocols and Hardware....Pages 237-257
Contactless Security Token Enhanced Security by Using New Hardware Features in Cryptographic-Based Security Mechanisms....Pages 259-279
Enhancing RFID Security and Privacy by Physically Unclonable Functions....Pages 281-305
Front Matter....Pages 307-307
Authentication of Processor Hardware Leveraging Performance Limits in Detailed Simulations and Emulations....Pages 309-329
Signal Authentication in Trusted Satellite Navigation Receivers....Pages 331-348
On the Limits of Hypervisor- and Virtual Machine Monitor-Based Isolation....Pages 349-366
Efficient Secure Two-Party Computation with Untrusted Hardware Tokens (Full Version)*....Pages 367-386
Towards Reliable Remote Healthcare Applications Using Combined Fuzzy Extraction....Pages 387-407

✦ Subjects

Data Structures, Cryptology and Information Theory; Computer Hardware; Electrical Engineering