EDA for secure and dependable cybercars: Challenges and opportunities

Proceedings - Design Automation Conference

Volumn , Issue , 2012, Pages 220-228

  Koushanfar, Farinaz ^a   Sadeghi, Ahmad Reza ^b,c   Seudie, Hervé ^b,c,d  

^a Rice University   (United States)

^b Fraunhofer SIT ^*  (Germany)

^c DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

^d ROBERT BOSCH GMBH   (Germany)

Author keywords

automotive security; CPS security; perspective article

Indexed keywords

AUTOMOTIVE SECURITY; CLOUD SERVICES; CPS SECURITY; CYBERCARS; DEPENDABLE SYSTEMS; DESIGN METHODOLOGY; HARD REAL-TIME CONTROL; INFOTAINMENT; LEGACY PROTOCOL; PARADIGM SHIFTS; PERSPECTIVE ARTICLE; SECURITY REQUIREMENTS; SYSTEM COMPLEXITY; TESTING AND EVALUATION;

COMPUTER AIDED DESIGN; LEGACY SYSTEMS; REAL TIME CONTROL; SAFETY TESTING;

VEHICLES;

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

References (59)

1. Defense science board (DSB) study on high performance microchip supply. http://www.acq.osd.mil/dsb/reports/2005-02-hpms report final.pdf.
2. ASAM: Association for standardisation of automation and measuring systems. http://www.asam.net.
3. Defense industrial base assessment: Counterfeit electronics. Technical report, U.S. Department Of Commerce, Bureau Of Industry And Security, Office Of Technology Evaluation, 2010.
4. AUTOSAR automotive open software architecture specification. http://www.autosar.org, 2012.
5. CALM communications access for land mobiles. http://calm.its-standards. eu/, 2012.
6. ETSI TC ITS standards european telecommunications standards institute. http://www.etsi.org, 2012.
7. G. Alliance. Genivi. http://www.genivi.org/, 2009.
8. F. Armknecht, R. Maes, A.-R. Sadeghi, F.-X. Standaert, and C. Wachsmann. A formalization of the security features of physical functions. In IEEE Symposium on Security and Privacy, pages 397-412, 2011.
9. A. Barisani and D. Bianco. Unusual car navigation tricks. In CanSecWest, April 2007.
10. N. Bissmeyer, H. Stuebing, E. Schoch, S. Götz, J. P. Stotz, and B. Lonc. A generic Public Key Infrastructure for securing Car-to-X Communication. In 18th ITS World Congress, Orlando, USA, Oct. 2011.
11. S . C. Bono, M. Green, A. S tubblefield, A. Juels, A. D. Rubin, and M. Szydlo. Security analysis of a cryptographically-enabled RFID device. In USENIX Security Symposium, pages 1-16, 2005.
12. S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, K. Koscher, A. Czeskis, F. Roesner, and T. Kohno. Comprehensive experimental analyses of automotive attack surfaces. In USENIX Security Symposium, 2011.
13. C. C. Consortium. Mirror link. http://www.terminalmode.org/, 2010.
14. J. Cook, I. Kolmanovsky, D. McNamara, E. Nelson, and K. Prasad. Control, computing and communications: Technologies for the twenty-first century model T. Proceedings of the IEEE, 95(2):334-355, 2007.
15. L. de Alfaro and T. Henzinger. Interface theories for component-based design. In T. Henzinger and C. Kirsch, editors, Embedded Software, volume 2211 of Lecture Notes in Computer Science, pages 148-165. Springer Berlin / Heidelberg, 2001.
16. L. de Alfaro and T. Henzinger. Interface-based design. In M. Broy, J. Grünbauer, D. Harel, and T. Hoare, editors, Engineering Theories of Software Intensive Systems, volume 195 of NATO Science Series, pages 83-104. Springer Netherlands, 2005.
17. G. De Micheli. Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education, 1st edition, 1994.
18. F. Dressler, F. Kargl, J. Ott, O. Tonguz, and L. Wischhof. Research challenges in intervehicular communication: lessons of the 2010 dagstuhl seminar. Communications Magazine, IEEE, 49(5):158-164, 2011.
19. T. Eisenbarth, T. Kasper, A. Moradi, C. Paar, M. Salmasizadeh, and M. T. M. Shalmani. On the power of power analysis in the real world: A complete break of the keeloqcode hopping scheme. In CRYPTO, pages 203-220, 2008.
20. EVITA Consortium. The EVITA project: E-safety vehicle intrusion protected applications, 2011. http://www.evita-project.org.
21. The EVITA project Deliverable 2.1, http://evita-project.org/deliverables. html. Specification and evaluation of e-security relevant use cases, 2009.
22. The EVITA project Deliverable 2.3, http://evita-project.org/deliverables. html. Security requirements for automotive on-board networks based on dark-side scenarios, 2009.
23. The EVITA project Deliverable 3.1, http://evita-project.org/deliverables. html. Security and trust model, 2009.
24. B. Gassend, D. Clarke, M. van Dijk, and S. Devadas. Silicon physical random functions. In ACM Computer and Communications Security Conference (CCS), pages 148-160, 2002.
25. N. Hardy. The confused deputy (or why capabilities might have been invented). Operating Systems Review, 22(4):36-38, 1988.
26. T. Hoppe and J. Dittman. Sniffing/replay attacks on CAN buses: A simulated attack on the electric window lift classified using an adapted CERT taxonomy. In Workshop on Embedded Systems Security (WESS), 2007.
27. T. Hoppe, S. Kiltz, and J. Dittmann. Security threats to automotive CAN networks - practical examples and selected short-term countermeasures. In Computer Safety, Reliability, and Security (SAFECOMP), pages 235-248, 2008.
28. T. Hoppe, S. Kiltz, and J. Dittmann. Automotive IT-security as a challenge: Basic attacks from the black box perspective on the example of privacy threats. In Computer Safety, Reliability, and Security (SAFECOMP), pages 145-158, 2009.
29. F. Kargl, P. Papadimitratos, L. Buttyan, M. Muter, E. Schoch, B. Wiedersheim, T.-V. Thong, G. Calandriello, A. Held, A. Kung, and J.-P. Hubaux. Secure vehicular communication systems: implementation, performance, and research challenges. IEEE Communications Magazine, 46(11):110-118, 2008.
30. P. Kleberger, T. Olovsson, and E. Jonsson. Security aspects of the in-vehicle network in the connected car. In IEEE Intelligent Vehicles Symposium (IV), pages 528-533, 2011.
31. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, and S. Savage. Experimental security analysis of a modern automobile. In IEEE Symposium on Security and Privacy (S& P), pages 447-462, 2010.
32. F. Koushanfar. Provably secure active ic metering techniques for piracy avoidance and digital rights management. IEEE Transactions on Information Forensics and Security, 7(1):51-63, 2012.
33. F. Koushanfar, S. Fazzari, C. McCants, W. Bryson, M. Sale, P. Song, and M. Potkonjak. Can EDA combat the rise of electronic counterfeiting? In Design Automation Conference (DAC), 2012.
34. A. Lang, J. Dittmann, S. Kiltz, and T. Hoppe. Future perspectives: The car and its IP-address - a potential safety and security risk assessment. In International Conference Computer Safety, Reliability, and Security (SAFECOMP), pages 40-53, 2007.
35. U. E. Larson and D. K. Nilsson. Securing vehicles against cyber attacks. In Cyber Security and Information Intelligence Research Workshop (CSIIRW), pages 30:1-30:3, 2008.
36. M. Majzoobi, F. Koushanfar, and M. Potkonjak. Lightweight secure PUFs. In International Conference on Computer-Aided Design (ICCAD), pages 670-673, 2008.
37. D. K. Nilsson, U. Larson, and E. Jonsson. Efficient in-vehicle delayed data authentication based on compound message authentication codes. In VTC Fall'08, pages 1-5, 2008.
38. D. K. Nilsson and U. E. Larson. Simulated attacks on CAN buses: vehicle virus. In IASTED International Conference on Communication Systems and Networks (AsiaCSN), pages 66-72, 2008.
39. C. Paar, A. Weimerskirch, and M. Wolf. Security in automotive bus systems. In Embedded Security in Cars Workshop, 2004.
40. T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. Timing analysis of the FlexRay communication protocol. In Euromicro Conference on Real-Time Systems, pages 203-216, 2006.
41. PRESERVE Consortium. Preparing secure vehicle-to-x communication systems, 2011. http://www.preserve-project.eu.
42. M. Raya, P. Papadimitratos, and J.-P. Hubaux. Securing vehicular communications. IEEE Wireless Communications,, 13(5):8-15, 2006.
43. I. Rouf, R. Miller, H. Mustafa, T. Taylor, S. Oh, W. Xu, M. Gruteser, W. Trappe, and I. Seskar. Security and privacy vulnerabilities of in-car wireless networks: a tire pressure monitoring system case study. In USENIX Security Symposium, 2010.
44. J. Rowson and A. Sangiovanni-Vincentelli. Interface-based design. In Design Automation Conference (DAC), pages 178-183, 1997.
45. U. Ruhrmair, S. Devadas, and F. Koushanfar. Security based on Physical Unclonability and Disorder, Book Chapter in 'Introduction to Hardware Security and Trust'. Springer, 2011.
46. A. L. Sangiovanni-Vincentelli. Defining platform-based design. EE Times, Feb 2007.
47. A. L. Sangiovanni-Vincentelli. Quo Vadis, SLD? reasoning about the trends and challenges of system level design. Proceedings of the IEEE, 95(3):467-506, 2007.
48. A. L. Sangiovanni-Vincentelli and M. Di Natale. Embedded system design for automotive applications. IEEE Computer, 40(10):42-51, 2007.
49. E. Schoch and F. Kargl. On the efficiency of secure beaconing in vanets. In Proceedings of the third ACM conference on Wireless network security (WiSec), pages 111-116, 2010.
50. H. Schweppe, M. Idrees, Y. Roudier, B. Weyl, R. El Khayari, O. Henniger, D. Scheuermann, G. Pedroza, L. Apvrille, H. Seudié, H. Platzdasch, and M. Sall. Secure on-board protocols specification. Technical Report Deliverable D3.3, EVITA Project, 2010.
51. SEVECOM Consortium. Secure vehicular communication, 2008. http://www.sevecom.org.
52. SIMTD Consortium. Sichere intelligente mobilität testfeld deutschland, 2011.
53. M. Tehranipoor and F. Koushanfar. A survey of hardware trojan taxonomy and detection. IEEE Design & Test of Computers, 27(1):10-25, 2010.
54. P. R. Thorn and C. A. MacCarley. A spy under the hood: Controlling risk and automotive EDR. In Risk Management, 2008.
55. C. to Car Communication Consortium. Car to Car Communication Consortium. http://www.car-to-car.org/, 2006.
56. VDAT. Der deutsche tuningmarkt. http: //www.vdat.org/tuningmarkt- deutschland.php/, 2010.
57. B. Weyl, M. Wolf, F. Zweers, T. Gendrullis, M. Idrees, Y. Roudier, H. Schweppe, H. Platzdasch, R. El Khayari, O. Henniger, D. Scheuermann, A. Fuchs, L. Apvrille, G. Pedroza, H. Seudié, J. Shokrollahi, and A. Keil. Secure on-board architecture specification. Technical Report Deliverable D3.2, EVITA Project, 2010.
58. M. Wolf, A. Weimerskirch, and T. J. Wollinger. State of the art: Embedding security in vehicles. EURASIP Journal of Embedded Systems, 2007.
59. Y. Zhao. Telematics: safe and fun driving. IEEE Intelligent Systems, 17(1):10-14, jan/feb 2002.