Cryptology ePrint Archive: Report 2012/069

Automatic Search of Attacks on round-reduced AES and Applications

Charles Bouillaguet and Patrick Derbez and Pierre-Alain Fouque

Abstract: In this paper, we describe versatile and powerful algorithms for searching guess-and-determine and meet-in-the-middle attacks on some byte-oriented symmetric primitives. To demonstrate the strengh of these tools, we show that they allow to automatically discover new attacks on round-reduced AES with very low data complexity, and to find improved attacks on the AES-based MACs Alpha-MAC and Pelican-MAC, and also on the AES-based stream cipher LEX. Finally, the tools can be used in the context of fault attacks. These algorithms exploit the algebraically simple byte-oriented structure of the AES. When the attacks found by the tool are practical, they have been implemented and validated experimentally.

Category / Keywords: secret-key cryptography /

Publication Info: This is the full version

Date: received 17 Feb 2012

Contact author: charles bouillaguet at ens fr

Available formats: PDF | BibTeX Citation

Version: 20120223:131202 (All versions of this report)

Discussion forum: Show discussion | Start new discussion