Controlled physical random functions and applications

ACM Transactions on Information and System Security

Volumn 10, Issue 4, 2008, Pages

  Gassend, Blaise ^a   Dijk, Marten Van ^a   Clarke, Dwaine ^a   Torlak, Emina ^a   Devadas, Srinivas ^a   Tuyls, Pim ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b PHILIPS RESEARCH LABORATORIES   (Netherlands)

Author keywords

Certified execution; Physical random function; Physical security; Physical unclonable function; Trusted computing

Indexed keywords

CERTIFIED EXECUTION; CONSUMER DEVICES; CONTROLLED PHYSICAL RANDOM FUNCTIONS (CPUFS); PHYSICAL SECURITY; PHYSICAL UNCLONABLE FUNCTION; TRUSTED COMPUTING;

ACCESS CONTROL; CONSUMER PRODUCTS; CRYPTOGRAPHY; NETWORK PROTOCOLS; PROBLEM SOLVING;

CONTROL EQUIPMENT;

EID: 39149145168     PISSN: 10949224     EISSN: 15577406     Source Type: Journal    
DOI: 10.1145/1284680.1284683     Document Type: Article

References (34)

1. ALVES, T. AND FELTON, D. 2004. Trustzone: Integrated hardware and software security. ARM. White paper.
2. ANDERSON, R. AND KUHN, M. 1996. Tamper resistance - A cautionary note. In Proceedings of the Second Usenix Workshop on Electronic Commerce. Usenix Association, Berkeley, CA. 1-11.
3. ANDERSON, R. AND KUHN, M. 1997. Low cost attacks on tamper resistant devices. In IWSP: International Workshop on Security Protocols, LNCS. Springer-Verlag, New York.
4. ANDERSON, R. J. 2001. Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley, New York.
5. CARROLL, A., JUAREZ, M., POLK, J., AND LEININGER, T. 2002. Microsoft "palladium": A business overview. In Microsoft Content Security Business Unit.
6. CHINNERY, D. AND KEUTZER, K. 2002. Closing the Gap Between ASIC & Custom. Kluwer Academic Publi., Boston, MA.
7. DISTRIBUTED.NET. http://distributed.nat/.
8. GASSEND, B. 2003. Physical Random Functions. M.S. thesis, Massachusetts Institute of Technology.
9. GASSEND, B., CLARKE, D., VAN DIJK, M., AND DEVADAS, S. 2002a. Controlled physical random functions . In Proceedings of 18th Annual Computer Security Applications Conference. Applied Computer Security Associates (ACSA), Silver Spring, MD.
10. GASSEND, B., CLARKE, D., VAN DIJK, M., AND DEVADAS, S. 2002b. Silicon physical random functions. In Proceedings of the Computer and Communication Security Conference. ACM, New York.
11. GASSEND, B., SUH, G. E., CLARKE, D., VAN DIJK, M., AND DEVADAS, S. 2003. Caches and Merkle trees for efficient memory integrity verification. In Proceedings of Ninth International Symposium on High Performance Computer Architecture. IEEE, New York.
12. GASSEND, B., LIM, D., CLARKE, D., VAN DIJK, M., AND DEVADAS, S. 2004. Identification and authentication of integrated circuits. Concurrency and Computation: Practice and Experience 16, 11, 1077-1098.
13. GUTMAN, P. 1996. Secure deletion of data from magnetic and solid-state memory. In Sixth USENIX Security Symposium Proceedings. Usenix Association, Berkeley, CA, 77-89.
14. JACKSON, D. 2000. Automating first-order relational logic. In Proc. ACM SIGSOFT Conf. Foundations of Software Engineering I European Software Engineering Conference (FSE/ESEC'00). ACM, New York.
15. JACKSON, D. 2002. Alloy: A lightweight object modelling notation. ACM TOSEM 11, 2, 256-290.
16. KOCHER, P., JAFFE, J., AND JUN, B. 1999. Differential power analysis. Lecture Notes in Computer Science 1666, 388-397.
17. LEE, J.-W., LIM, D., GASSEND, B., SUH, G. E., VAN DIJK, M., AND DEVADAS, S. 2004. A technique to build a secret key in integrated circuits with identification and authentication applications. In Proceedings of the IEEE VLSI Circuits Symposium,. IEEE, New York.
18. LIE, D. 2003. Architectural support for copy and tamper-resistant software. Ph.D. thesis, Stanford University.
19. LIE, D., THEKKATH, C., MITCHELL, M., LINCOLN, P., BONEH, D., MITCHELL, J., AND HOROWITZ, M. 2000. Architectural support for copy and tamper resistant software. In Proceedings of the 9th Int'l Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-IX). 168-177.
20. LIM, D. 2004. Extracting Secret Keys from Integrated Circuits. M.S. thesis, Massachusetts Institute of Technology.
21. LIM, D., LEE, J. W., GASSEND, B., SUH, G. E., VAN DIJK, M., AND DEVADAS, S. 2005. Extracting secret keys from integrated circuits. IEEE Trans. VLSI Syst. 13, 10, 1200-1205.
22. MICROSOFT. Next-Generation Secure Computing Base, http://www.microsoft.com/resources/ngscb/defaul.mspx.
23. RAVIKANTH, R S. 2001. Physical one-way functions. Ph.D. thesis, Massachusetts Institute of Technology.
24. RAVIKANTH, P. S., RECHT, B., TAYLOR, J., AND GERSHENFELD, N. 2002. Physical One-Way Functions. Science 297, 2026-2030.
25. SETI@HOME.
26. SKORIC, B., TUYLS, P., AND OPHEY, W 2005. Robust key extraction from physical unclonable functions. In Proceedings of the Applied Cryptography and Network Security Conference 2005, J. Ionnidis, A. Keromytis, and M. Yung, Eds. Lecture Notes in Computer Science, vol. 3531. Springer-Verlag. New York. 407-422.
27. SMITH, S. W AND WEINGART, S. H. 1999. Building a high-performance, programmable secure coprocessor. Computer Networks (Special Issue on Computer Network Security) 31, 8 (Apr.), 831-860.
28. SUH, G. E., CLARKE, D., GASSEND, B., VAN DIJK, M., AND DEVADAS, S. 2003. AEGIS: Architecture for tamper-evident and tamper-resistant processing. In Proceedings of the 17th Int'l Conference on Supercomputing (MIT-CSAIL-CSG-Memo-474 is an updated version). ACM, New York.
29. SUH, G. E., O'DONNELL, C. W., SACHDEV, I., AND DEVADAS, S. 2005. Design and implementation of the AEGIS single-chip secure processor using physical random functions. In Proceedings of the 32nd Annual International Symposium on Computer Architecture (MIT-CSAIL-CSG-Memo-483 is an updated version available at http://csg.csail.mit. edu/pubs/memos/Memo-483/Memo-483.pdf). ACM, New York.
30. TORLAK, E., VAN DIJK, M., GASSEND, B., JACKSON, D., AND DEVADAS, S. 2006. Knowledge flow analysis for security protocols. http://arxiv.org/abs/cs/0605109.
31. TRUSTED COMPUTING GROUP. 2004. TCG Specification Architecture Overview Revision 1.2. http://www. trustedcomputinggroup.com/home.
32. TUYLS, P., SKORIC, B., STALLINGA, S., AKKERMANS, A., AND OPHEY, W. 2005. Information theoretical security analysis of physical unclonable functions. In Proceedings Conf on Financial Cryptography and Data Security 2005, A. Patrick and M. Yung, Eds. Lecture Notes in Computer Science, vol. 3570. Springer-Verlag, New York. 141-155.
33. WESTE, N. AND ESHRAGHIAN, K. 1985. Principles of CMOS VLSI Design: A Systems Perspective. Addison-Wesley, Reading, PA.
34. YEE, B. S. 1994. Using secure coprocessors. Ph.D. thesis, Carnegie Mellon University.