This code provides library functions which aide in the verification of crypto1 weaknesses.

The necessary information was extracted from the papers:

• http://www.sos.cs.ru.nl/applications/rfid/2008-esorics.pdf
• Finalized. (recover keys with a valid reader)
• http://www.cs.ru.nl/~flaviog/publications/Pickpocketing.Mifare.pdf
• Support for the fourth attack mentioned. (escalating from 1 key to any without a valid reader).
• http://eprint.iacr.org/2009/137
• Support for the 'common prefix' attack. Retrieves a key without a valid reader. Requires more communication than the previous attack and accurate timing.