A formal foundation for the security features of physical functions

Proceedings - IEEE Symposium on Security and Privacy

Volumn , Issue , 2011, Pages 397-412

  Armknecht, Frederik ^a   Maes, Roel ^b   Sadeghi, Ahmad Reza ^c   Standaert, François Xavier ^d   Wachsmann, Christian ^c  

^a UNIVERSITY OF MANNHEIM   (Germany)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^d UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Formal security model; Physically Unclonable Function (PUF); Robustness; Unclonability; Unpredictability

Indexed keywords

HARDWARE SECURITY; PHYSICAL PROPERTIES; SECURITY SYSTEMS; SIDE CHANNEL ATTACK;

CRYPTOGRAPHIC DEVICES; CRYPTOGRAPHICS; FORMAL FOUNDATION; FORMAL SECURITY MODELS; PHYSICALLY UNCLONABLE FUNCTION; PHYSICALLY UNCLONABLE FUNCTIONS; ROBUSTNESS; SECURITY PRIMITIVES; UNCLONABILITY; UNPREDICTABILITY;

NETWORK SECURITY;

EID: 80051967839     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SP.2011.10     Document Type: Conference Paper

References (40)

1. R. S. Pappu, "Physical one-way functions," Ph.D. dissertation, Massachusetts Institute of Technology, March 2001.
2. R. S. Pappu, B. Recht, J. Taylor, and N. Gershenfeld, "Physical one-way functions," Science, vol. 297, pp. 2026-2030, 2002.
3. D. Bauder, "An anti-counterfeiting concept for currency systems." Sandia National Labs, Albuquerque, NM, Tech. Rep. PTK-11990, 1983.
4. K. Tolk, "Reflective particle technology for identification of critical components." Sandia National Labs, Albuquerque, NM, Tech. Rep. SAND-92-1676C, 1992.
5. Commission on Engineering and Technical Systems (CETS), Counterfeit Deterrent Features for the Next-Generation Currency Design. The National Academic Press, 1993.
6. K. Lofstrom, W. R. Daasch, and D. Taylor, "IC identification circuit using device mismatch," in IEEE International SolidState Circuits Conference (ISSCC), 2000, pp. 372-373. (Pubitemid 32864183)
7. B. Škorić, P. Tuyls, and W. Ophey, "Robust key extraction from physical uncloneable functions," in Applied Cryptography and Network Security (ACNS), ser. LNCS, vol. 3531, 2005, pp. 407-422. (Pubitemid 41422130)
8. D. Lim, J. W. Lee, B. Gassend, G. E. Suh, M. van Dijk, and S. Devadas, "Extracting secret keys from integrated circuits," IEEE Transactions on VLSI Systems, vol. 13, no. 10, pp. 1200-1205, 2005. (Pubitemid 43131686)
9. F. Armknecht, R. Maes, A.-R. Sadeghi, B. Sunar, and P. Tuyls, "Memory leakage-resilient encryption based on physically unclonable functions," in Advances in Cryptology (ASIACRYPT), ser. LNCS, vol. 5912, 2009, pp. 685-702.
10. Verayo, Inc., "Verayo product page," http://www.verayo.com/ product/products.html, November 2010.
11. Intrinsic ID, "Intrinsic ID product page," http://www. intrinsic-id.com/products/, November 2010.
12. K. Kursawe, A.-R. Sadeghi, D. Schellekens, B. Skoric, and P. Tuyls, "Reconfigurable physical unclonable functions - Enabling technology for tamper-resistant storage," in IEEE Workshop on Hardware-Oriented Security and Trust (HOST), 2009, pp. 22-29.
13. R. Maes and I. Verbauwhede, "Physically unclonable functions: A study on the state of the art and future research directions," in Towards Hardware-Intrinsic Security, ser. Information Security and Cryptography, D. Basin, U. Maurer, A.-R. Sadeghi, and D. Naccache, Eds. Springer Berlin Heidelberg, 2010, pp. 3-37.
14. P. Tuyls, B. Skoric, S. Stallinga, T. Akkermans, and W. Ophey, "An information theoretic model for physical uncloneable functions," in IEEE Symposium on Information Theory (ISIT), 2004.
15. P. Tuyls, G.-J. Schrijen, B. Škorić, J. van Geloven, N. Verhaegh, and R. Wolters, "Read-proof hardware from protective coatings," in Workshop on Cryptographic Hardware and Embedded Systems (CHES), ser. LNCS, vol. 4249, 2006, pp. 369-383. (Pubitemid 44700070)
16. B. Gassend, D. Clarke, M. van Dijk, and S. Devadas, "Silicon physical random functions," in ACM Conference on Computer and Communications Security (CCS), 2002, pp. 148-160.
17. G. E. Suh and S. Devadas, "Physical unclonable functions for device authentication and secret key generation," in Design Automation Conference, 2007, pp. 9-14. (Pubitemid 47129916)
18. C.-E. D. Yin and G. Qu, "LISA: Maximizing RO PUF's secret extraction," in IEEE Symposium on Hardware-Oriented Security and Trust (HOST), 2010, pp. 100-105.
19. A. Maiti, J. Casarona, L. McHale, and P. Schaumont, "A large scale characterization of RO-PUF," in IEEE Symposium on Hardware-Oriented Security and Trust (HOST), 2010, pp. 94-99.
20. J. W. Lee, D. Lim, B. Gassend, G. E. Suh, M. van Dijk, and S. Devadas, "A technique to build a secret key in integrated circuits for identification and authentication application," in Symposium on VLSI Circuits, 2004, pp. 176-159.
21. E. Ozturk, G. Hammouri, and B. Sunar, "Physical unclonable function with tristate buffers," in IEEE Symposium on Circuits and Systems (ISCAS), 2008, pp. 3194-3197.
22. L. Lin, D. Holcomb, D. K. Krishnappa, P. Shabadi, and W. Burleson, "Low-power sub-threshold design of secure physical unclonable functions," in ACM/IEEE international symposium on Low power electronics and design (ISLPED), 2010, pp. 43-48.
23. M. Majzoobi, F. Koushanfar, and M. Potkonjak, "Techniques for design and implementation of secure reconfigurable PUFs," ACM Transactions on Reconfigurable Technology and Systems, vol. 2, no. 1, pp. 1-33, 2009.
24. U. Rührmair, F. Sehnke, J. Sölter, G. Dror, S. Devadas, and J. Schmidhuber, "Modeling attacks on physical unclonable functions," in ACM conference on Computer and communications security (CCS), 2010, pp. 237-249.
25. J. Guajardo, S. S. Kumar, G. J. Schrijen, and P. Tuyls, "FPGA intrinsic PUFs and their use for IP protection," in Workshop on Cryptographic Hardware and Embedded Systems (CHES), ser. LNCS, vol. 4727, 2007, pp. 63-80.
26. D. E. Holcomb, W. P. Burleson, and K. Fu, "Initial SRAM state as a fingerprint and source of true random numbers for RFID tags," in Conference on RFID Security (RFIDSec), 2007.
27. R. Maes, P. Tuyls, and I. Verbauwhede, "Intrinsic PUFs from flip-flops on reconfigurable devices," in Workshop on Information and System Security (WISSec), 2008, p. 17.
28. V. van der Leest, G.-J. Schrijen, H. Handschuh, and P. Tuyls, "Hardware intrinsic security from D flip-flops," in ACM Workshop on Scalable Trusted Computing (STC), 2010, pp. 53-62.
29. Y. Su, J. Holleman, and B. Otis, "A 1.6pJ/bit 96% stable chip-ID generating circuit using process variations," in IEEE International Solid-State Circuits Conference (ISSCC), 2007, pp. 406-611.
30. S. Kumar, J. Guajardo, R. Maes, G.-J. Schrijen, and P. Tuyls, "Extended abstract: The butterfly PUF protecting IP on every FPGA," in IEEE Workshop on Hardware-Oriented Security and Trust (HOST), 2008, pp. 67-70.
31. J. D. R. Buchanan, R. P. Cowburn, A.-V. Jausovec, D. Petit, P. Seem, G. Xiong, D. Atkinson, K. Fenton, D. A. Allwood, and M. T. Bryan, "Forgery: 'fingerprinting' documents and packaging," Nature, vol. 436, no. 7050, p. 475, 2005. (Pubitemid 41112906)
32. P. Bulens, F.-X. Standaert, and J.-J. Quisquater, "How to strongly link data and its medium: the paper case," IET Information Security, vol. 4, no. 3, pp. 125-136, 2010.
33. U. Rührmair, J. Sölter, and F. Sehnke, "On the foundations of physical unclonable functions," Cryptology ePrint Archive, Report 2009/277, 2009.
34. Y. Dodis, L. Reyzin, and A. Smith, "Fuzzy extractors: How to generate strong keys from biometrics and other noisy data," in Advances in Cryptology (EUROCRYPT, ser. LNCS, vol. 3027, 2004, pp. 523-540.
35. P. Tuyls, B. Skoric, and T. Kevenaar, Eds., Security with Noisy Data - On Private Biometrics, Secure Key Storage, and Anti-Counterfeiting. Springer-Verlag, 2007.
36. P. Tuyls and L. Batina, "RFID-tags for anti-counterfeiting," in The Cryptographers' Track at the RSA Conference (CT-RSA), ser. LNCS, vol. 3860. Springer Verlag, 2006, pp. 115-131. (Pubitemid 43971705)
37. B. Gassend, D. Lim, D. Clarke, M. van Dijk, and S. Devadas, "Identification and authentication of integrated circuits," Concurrency and Computation: Practice and Experience, vol. 16, no. 11, pp. 1077-1098, 2004.
38. K. Pietrzak, "A leakage-resilient mode of operation," in Advances in Cryptology (EUROCRYPT), ser. LNCS, A. Joux, Ed., vol. 5479. Springer, 2009, pp. 462-482.
39. F. Willems, Y. Shtarkov, and T. Tjalkens, "The context-tree weighting method: basic properties," IEEE Transactions on Information Theory, vol. 41, no. 3, pp. 653-664, 1995.
40. J. L. Carter and M. N. Wegman, "Universal classes of hash functions," in ACM Symposium on Theory of Computing (STOC), 1977, pp. 106-112.