Remote attestation for low-end embedded devices: The prover's perspective

Proceedings - Design Automation Conference

Volumn 05-09-June-2016, Issue , 2016, Pages

  Brasser, Ferdinand ^a   Rasmussen, Kasper B ^b   Sadeghi, Ahmad Reza ^a   Tsudik, Gene ^c  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF OXFORD   (United Kingdom)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; ECONOMIC AND SOCIAL EFFECTS; MALWARE;

ADVERSARY MODELING; ATTACK TARGET; DEFENSE MECHANISM; DENIAL OF SERVICE; EMBEDDED DEVICE; INTERNAL STATE; REMOTE ATTESTATION; RESEARCH TOPICS;

DENIAL-OF-SERVICE ATTACK;

EID: 84977151375     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2897937.2898083     Document Type: Conference Paper

References (38)

1. Advanced Micro Devices. AMD, Secure Virtual Machine Architecture Reference Manual, 2005
2. W. A. Arbaugh, D. J. Farbert, and J. M. Smith. A Secure and Reliable Bootstrap Architecture. IEEE S and P, 1997
3. O. Arias, L. Davi, M. Hanreich, Y. Jin, P. Koeberl, D. Paul, A.-R. Sadeghi, and D. Sullivan. HAFIX: Hardware-Assisted Flow Integrity Extension. In ACM DAC, 2015
4. R. Beaulieu, D. Shors, J. Smith, S. Treatman-Clark, B. Weeks, and L. Wingers. The SIMON and SPECK Families of Lightweight Block Ciphers. Cryptology ePrint Archive, Report 2013/404, 2013
5. F. Brasser, B. El Mahjoub, A.-R. Sadeghi, C. Wachsmann, and P. Koeberl. TyTAN: Tiny Trust Anchor for Tiny Devices. In ACM DAC, 2015
6. C. Castelluccia, A. Francillon, D. Perito, and C. Soriente. On the Difficulty of Software-Based Attestation of Embedded Devices. In ACM CCS, 2009
7. A. Datta, J. Franklin, D. Garg, and D. Kaynar. A Logic of Secure Systems and its Application to Trusted Computing. In IEEE S and P, 2009
8. K. E. Defrawy, A. Francillon, D. Perito, and G. Tsudik. SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust. In NDSS, 2012
9. N. Falliere, L. O. Murchu, and E. Chien. W32.Stuxnet Dossier. Symantec, 2010
10. A. Francillon, Q. Nguyen, K. B. Rasmussen, and G. Tsudik. A Minimalist Approach to Remote Attestation. In DATE, 2014
11. Girard, Olivier. openMSP430. http://opencores.org/project,openmsp430
12. Intel Corporation. Intel Trusted Execution Technology (Intel TXT)-Software Development Guide, 2009
13. R. Kennell and L. H. Jamieson. Establishing the Genuinity of Remote Computer Systems. In USENIX Security, 2003
14. C. Kil, E. C. Sezer, A. M. Azab, P. Ning, and X. Zhang. Remote Attestation to Dynamic System Properties: Towards Providing Complete System Integrity Evidence. In IEEE/IFIP DSN, 2009
15. P. Koeberl, S. Schulz, A.-R. Sadeghi, and V. Varadharajan. TrustLite: A Security Architecture for Tiny Embedded Devices. In ACM EuroSys, 2014
16. X. Kovah, C. Kallenberg, C. Weathers, A. Herzog, M. Albin, and J. Butterworth. New Results for Timing-Based Attestation. In IEEE S and P, 2011
17. H. Krawczyk, M. Bellare, and R. Canetti. HMAC: Keyed-Hashing for Message Authentication. RFC 2104, 1997
18. Y. Li, J. M. McCune, and A. Perrig. SBAP: Software-Based Attestation for Peripherals. In TRUST. Springer, 2010
19. Y. Li, J. M. McCune, and A. Perrig. VIPER: Verifying the Integrity of PERipherals Firmware. In ACM CCS, 2011
20. J. M. McCune, Y. Li, N. Qu, Z. Zhou, A. Datta, V. Gligor, and A. Perrig. TrustVisor: Efficient TCB Reduction and Attestation. In IEEE S and P, 2010
21. J. M. McCune, B. J. Parno, A. Perrig, M. K. Reiter, and H. Isozaki. Flicker: An Execution Infrastructure for TCB Minimization. In ACM EuroSys, 2008
22. J. M. McCune, B. J. Parno, A. Perrig, M. K. Reiter, and A. Seshadri. How Low Can You Go? Recommendations for Hardware-Supported Minimal TCB Code Execution. ACM ASPLOS, 2008
23. C. Miller and C. Valasek. Remote Exploitation of an Unaltered Passenger Vehicle. In Blackhat USA, 2015
24. C. Nie. Dynamic Root of Trust in Trusted Computing. TKK T1105290 Seminar on Network Security, 2007
25. B. J. Parno, J. M. McCune, and A. Perrig. Bootstrapping Trust in Commodity Computers. In IEEE S and P, 2010
26. S. Pearson, M. C. Mont, and S. Crane. Persistent and Dynamic Trust: Analysis and the Related Impact of Trusted Platforms. iTrust, 2005
27. J. Radcliffe. Hacking Medical Devices for Fun and Insulin: Breaking the Human SCADA System. In Blackhat USA, 2011
28. J. Rattner. Extreme Ccale Computing
29. A. Seshadri, M. Luk, and A. Perrig. SAKE: Software Attestation for Key Establishment in Sensor Networks. In IEEE DCOSS. Elsevier, 2008
30. A. Seshadri, M. Luk, A. Perrig, L. V. Doorn, and P. Khosla. SCUBA: Secure Code Update By Attestation in Sensor Networks. In ACM WiSec, 2006
31. A. Seshadri, M. Luk, A. Perrig, L. van Doorn, and P. Khosla. Using FIRE &ICE for Detecting and Recovering Compromised Nodes in Sensor Networks. Technical report, DTIC Document, 2004
32. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. Van Doorn, and P. Khosla. Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems. In ACM SIGOPS OSR, 2005
33. A. Seshadri, A. Perrig, L. Van Doorn, and P. Khosla. SWATT: SoftWare-based ATTestation for Embedded Devices. In IEEE S and P, 2004
34. U. Shankar, M. Chew, and J. D. Tygar. Side effects are not sufficient to authenticate software. In USENIX Security, 2004
35. R. Strackx, F. Piessens, and B. Preneel. Efficient Isolation of Trusted Subsystems in Embedded Systems. In SecureComm. Springer, 2010
36. Symantec. W32.Duqu-The precursor to the next Stuxnet, 2011
37. Trusted Computing Group. TPM Main Specification Level 2 Version 1.2
38. Q. Yan, J. Han, Y. Li, and R. Deng. A Software-Based Root-of-Trust Primitive on Multicore Platforms. In ACM ASIACCS, 2011