MD4
- A tool to automatically search differential path in MD4 on request
- The article and the slides
- The article exploiting some of the paths that have been discovered automatically published at CRYPTO 2007. The full version.
AES
- A tool to automatically find attacks on reduced versions of the AES is available
- The article explaining how works the tool has been published at CRYPTO 2011. The full version is available on eprint
- An attack automatically found by the tool on one full round of AES with one known plaintext
- An attack automatically found by the tool on Pelican-MAC using 2^32 operations and 36 GB of RAM
- An attack automatically found by the tool on a fault attack on the full AES where a fault is introduced on round 8