CRAPTO1 ------- Provides a set of library functions which aid the verification of crypto1 weaknesses. In short a partial implementation of: Dismantling MIFARE Classic URL: http://www.sos.cs.ru.nl/applications/rfid/2008-esorics.pdf Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands {{flaviog,petervr,ronny,bart}@cs, {gkoningg,rmuijrer,rverdult}@sci}.ru.nl and Wirelessly Pickpocketing a Mifare Classic Card URL: http://www.cs.ru.nl/~flaviog/publications/Pickpocketing.Mifare.pdf Flavio D. Garcia, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur Radboud University Nijmegen, The Netherlands {flaviog,petervr,rverdult,ronny}@cs.ru.nl and THE DARK SIDE OF SECURITY BY OBSCURITY URL: http://eprint.iacr.org/2009/137 and Cloning MiFare Classic Rail and Building Passes, Anywhere, Anytime Nicolas T. Courtois University College London, Computer Science, Gower street, WC1E 6BT, London, UK