A formal definition and a new security mechanism of physical unclonable functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7201 LNCS, Issue , 2012, Pages 288-301

  Plaga, Rainer ^a   Koob, Frank ^a  

^a Federal Office for Information Security   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL DEFINITION; HARDWARE DEVICES; LAWS OF PHYSICS; NEW MECHANISMS; OUTPUT VALUES; PHYSICAL FUNCTION; PHYSICAL UNCLONABLE FUNCTIONS; SECURITY EVALUATION; SECURITY MECHANISM; SYSTEMATIC SECURITY;

ACCESS CONTROL; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; NUMBER THEORY; QUANTUM CRYPTOGRAPHY;

FUNCTION EVALUATION;

EID: 84858320672     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28540-0_24     Document Type: Conference Paper

References (22)

1. Armknecht, F., et al.: A Formal Foundation for the Security Features of Physical Functions. In: IEEE Symposium on Security and Privacy (SSP), pp. 397-412. IEEE Computer Society (May 2011)
2. Armknecht, F., Maes, R., Sadeghi, A.-R., Sunar, B., Tuyls, P.: Memory Leakage-Resilient Encryption Based on Physically Unclonable Functions. In:Matsui, M. (ed.) ASIACRYPT 2009. LNCS, vol. 5912, pp. 685-702. Springer, Heidelberg (2009)
3. Bennett, C.H., Brassard, G., Breidbart, S., Wiesner, S.: Quantum Cryptography, or Unforgeable Subway Tokens. In: Advances in Cryptography: Proceedings of CRYPTO 1982, pp. 267-275. Plenum Press (1983)
4. Borel, E.: Probabilities and life. Dover (1962)
5. Busch, H., Sotáková, M., Katzenbeisser, S., Sion, R.: The PUF Promise. In: Acquisti, A., Smith, S.W., Sadeghi, A.-R. (eds.) TRUST 2010. LNCS, vol. 6101, pp. 290-297. Springer, Heidelberg (2010)
6. Fischer, J., Loss, D.: Dealing with decoherence. Science 324, 1277 (2009)
7. Gassend, B., Clarke, D., van Dijk, M., Devadas, S.: Controlled physical random functions. In: Proceedings of the 18th Annual Computer Security Applications Conference, ACSAC 2002 (2002)
8. Gassend, B., Clarke, D., van Dijk, M., Devadas, S.: Delay-Based Circuit Authentication and Applications. In: Proc. of the 18th Annual ACM Symposium on Applied Computing (March 2003)
9. Gassend, B., van Dijk, M., Clarke, D.E., Torlak, E., Tuyls, P.: Controlled physical random functions and applications. ACM Trans. Inf. Syst. Secur. 10(4), article 15 (2008)
10. Guajardo, J., Kumar, S.S., Schrijen, G.-J., Tuyls, P.: FPGA Intrinsic PUFs and Their Use for IP Protection. In: Paillier, P., Verbauwhede, I. (eds.) CHES 2007. LNCS, vol. 4727, pp. 63-80. Springer, Heidelberg (2007)
11. Lim, D., et al.: Extracting Secret Keys From Integrated Circuits. IEEE Trans. on Very Large Scale Integration (VLSI) Systems 13(10), 1220 (2005)
12. Landauer, R.: Information is physical. Physics Today 23 (May 1991)
13. Maes, R., Verbauwhede, I.: A discussion on the Properties of Physically Unclonable Functions. In: TRUST 2010 Workshop, Berlin (2010)
14. Pappu, R.: Physical One-Way Functions, PhD thesis. MIT (2001);
15. Pappu, R., Recht, B., Taylor, J., Gershenfeld, N.: Science 297, 2026 (2002)
16. Rührmair, U., Söltner, J., Sehnke, F.: On the Foundations of Physical Unclonable Functions, Cryptology ePrint Archive, Report 2009/277
17. Rührmair, U., Sehnke, F., Sölter, J., Dror, G., Devadas, S., Schmidhuber, J.: Modeling attacks on physical unclonable functions. In: ACM Conference on Computer and Communications Security (CCS), pp. 237-249 (2010)
18. Rührmair, U., Jaeger, C., Algasinger, M.: An Attack on PUF-based Session Key Exchange, and a Hardware-based Countermeasure: Erasable PUFs. In: 15th International Conference on Financial Cryptography and Data Security, St. Lucia, February 28-March 4 (2011)
19. Scarani, V., Kurtsiefer, C.: The black paper of quantum cryptography: real implementation problems, arXiv:0906.4547v1 (2009)
20. Tarnovsky, C.: Deconstructing a "secure" processor. In: Black Hat Conference, Washington (2010), https://www.blackhat.com/presentations/bh-dc- 10/Tarnovsky Chris/BlackHat-DC-2010-Tarnovsky-DASP-slides.pdf
21. van Tilborg, H.C.A. (ed.): Encyclopedia of cryptography and security. Springer, New York (2005)
22. Wiesner, S.: Conjugate coding. Sigact News 15, 78 (1983)