@inproceedings{f628658e74ac4e4d8706911cb6c95d61,
title = "Security Analysis of an Open Car Immobilizer Protocol Stack",
abstract = "Openness is a key criterion of security algorithms and protocols which enable them to be subjected to scrutiny by independent security experts. The alternative {"}methodology{"} of secret proprietary algorithms and protocols has often ended in practical breaks, e.g. of the MIFARE Oyster cards for public transport or the KeeLoq remote control systems. Open evaluation is common for general applications of security, e.g. the NIST competitions for selection of the Advanced Encryption Standard (AES) and the Secure Hash Algorithm 3 (SHA-3). Nowadays an increasing number of embedded security applications apply the principle of open evaluation as well. A recent example is the specification of an open security protocol stack for car immobilizer applications by Atmel, which has been presented at ESCAR 2010. This stack is primarily intended to be used in conjunction with automotive transponder chips of this manufacturer, but could in principle be deployed on any suitable type of transponder chip. In this paper we analyze the security of this protocol stack. We were able to uncover a number of potential security vulnerabilities, for which we suggest fixes.",
keywords = "Security, car immobilizer, protocols, openness, analysis",
author = "Stefan Tillich and Marcin Wojcik",
year = "2012",
month = dec,
day = "18",
language = "English",
volume = "7711",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "83--94",
booktitle = "Trusted Systems - INTRUST 2012",
address = "Germany",
}