Introduction Low Data Complexity Cryptanalysis Symbolic Tools Results Conclusion

Introduction Low-Data Complexity Cryptanalysis Symbolic Tools Results Conclusion Symbolic Methods for the Automatic Search of Attacks Against Some Block Ciphers Charles Bouillaguet (joint work with Patrick Derbez and Pierre-Alain Fouque) Université de Versailles St-Quentin en Yvelines LSV Seminar November 15, 2011

• results conclusion


• block-cipher cryptanalysis


• ?? ?


• key schedule


• introduction low-data


• complexity cryptanalysis


• symbolic tools