Kryptoanalýza AES

Abstract

V předložené práci studujeme bezpečnost šifry AES. Zabýváme se možnosti, jak blokovou šífru a její části matematicky reprezentovat a jak tyto reprezentace využít k algebraickým útokům. Uvádíme přehled známých algoritmů, jež lze k útoku použít. Pozornost, věnujeme též možnosti převedení problému řešení soustavy polynomiálních rovnic na SAT problém a vysvětlujeme princip fungování SAT solverů.

In the present work we study a security of the AES cipher. We concern in a mathematical representation of a block cipher and how to use it to algebraic attacks. We show a summary of known algorithms which are useful for these attacks. We show how to convert problem of solving the system of polynomial equations to SAT problem and we describe how SAT solvers work.