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.