This code provides library functions which aide in the verification of crypto1 weaknesses. It currently does not contain an user interface of any kind.
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.
