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