Dismantling MIFARE classic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5283 LNCS, Issue , 2008, Pages 97-114

  Garcia, Flavio D ^a   De Koning Gans, Gerhard ^a   Muijrers, Ruben ^a   Van Rossum, Peter ^a   Verdult, Roel ^a   Schreur, Ronny Wichers ^a   Jacobs, Bart ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; OFFICE BUILDINGS; PUBLIC KEY CRYPTOGRAPHY; SMART CARDS;

AUTHENTICATION PROTOCOLS; CONTACTLESS SMART CARD; MULTIPLE AUTHENTICATIONS; PRE-COMPUTATION; PUBLIC TRANSPORT; SECURITY MECHANISM; SECURITY VULNERABILITIES; SYMMETRIC CIPHER;

SECURITY SYSTEMS;

EID: 57049128814     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88313-5_7     Document Type: Conference Paper

References (9)

1. Hoepman, J.-H., Hubbers, E., Jacobs, B., Oostdijk, M., Wichers Schreur, R.: Crossing borders: Security and privacy issues of the European e-passport. In: Yoshiura, H., Sakurai, K., Rannenberg, K., Murayama, Y., Kawamura, S.-i. (eds.) IWSEC 2006. LNCS, vol. 4266, pp. 152-167. Springer, Heidelberg (2006)
2. ISO/IEC 14443. Identification cards - Contactless integrated circuit(s) cards - Proximity cards (2001)
3. Jacobs, B., Wichers Schreur, R.: Mifare Classic, logical formalization and analysis, PVS code (manuscript, 2008)
4. Kerckhoffs, A.: La cryptographie militaire. Journal des Sciences Militaires IX, 5-38 (1883)
5. de Koning Gans, G., Hoepman, J.-H., Garcia, F.D.: A practical attack on the MIFARE Classic. In: Proceedings of the 8th Smart Card Research and Advanced Application Workshop (CARDIS 2008). LNCS, vol. 5189, pp. 267-282. Springer, Heidelberg (2008)
6. Nohl, K., Evans, D., Starbug, Plötz, H.: Reverse-engineering a cryptographic RFID tag. In: USENIX Security 2008 (2008)
7. Nohl, K., Plötz, H.: Mifare, little security, despite obscurity. In: Presentation on the 24th Congress of the Chaos Computer Club. Berlin (December 2007)
8. Owre, S., Rushby, J.M., Shankar, N., von Henke, F.: Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering 21(2), 107-125 (1995)
9. Teepe, W., Nohl, K.: Making the best of MIFARE Classic (manuscript, 2008)