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
- Basic support for the fourth attack mentioned. (escalating from 1 key to any without a valid reader).
- http://eprint.iacr.org/2009/137
- Very initial support for the 'common prefix' attack to retrieve any key without a valid reader. Requires significant logic driving the hardware, and several orders of magnitude more online time than the escalating attack.
