Peter van Rossum

.... that's me! I am an assistant professor at the Digital Security group, University of Nijmegen, the Netherlands.

(Research) interests

Computer Science: security protocols, model checking, sat solving, type theory, anonymity and privacy
Programming: hacking various programs and tools
Mathematics: polynomial mappings, algebraic topology & geometry
Salsa dancing, hiking, science fiction, cooking

You can find here some information about me, such as my work in mathematics and in computer science, some software I have written, and about the Debian packages I maintain. If you are a student, you may be interested in Master Thesis subjects I could supervise. This year I am teaching Security in Organizations, Research Methods, and Complexity Theory.

MIFARE Classic Hack

We have successfully hacked the MIFARE Classic. This is the most widely-used contacless smartcard, used extensively in access control for buildings, ticketing, and payment systems for public transport.

The movie below shows a demonstration of the attack on the access control system for our university building. Since making this movie, we have significantly improved the attack. We can now find all keys used in one communication (the university uses the same key always, but for instance the OV-Chipkaart uses at least 15 different keys and they are different for every card) in only a few seconds.

Address

Visiting Address Room HG02.069 Heyendaalseweg 135 Nijmegen The Netherlands +31 24 365 2077 (voice) +31 24 365 3137 (fax)	Mail Address Faculty of Science University of Nijmegen Postbus 9010 6500 GL Nijmegen The Netherlands
E-mail X@Y, where X=petervr, Y=cs.ru.nl	GnuPG 0A8B DC57 8340 AC3B 4D20 46C7 623E 49E0 876B 252F (public key)

Past

Before coming to Nijmegen, I worked at

the Automated Reasoning Group, Istituto per la Ricerca Scientifica e Tecnologica, Trento, Italy.
Faculty of Mathematics, New Mexico State University in Las Cruces, NM, USA