Analýza návrhu nových hašovacích funkcí pro soutěž SHA-3

Abstract

V předložené práci studujeme linearizační rámec pro posuzování bezpečnosti hašovacích funkcí a analyzujeme návrh hašovací funkce BLAKE. Práce poukazuje na nedostatek metody navržené v linearizačním rámci, na základě kterého nemohla být aplikována v plném rozsahu. Dále je v práci vysvětleno, jak lze s pomocí lineárních kódů najít diferenci potřebnou pro útok na druhý vzor. K tomu účelu je zkonstruována matice reprezentující linearizovanou kompresní funkci BLAKE. Na přiloženém CD je tato práce ve formátu PDF a zdrojové kódy k výpočtům, které jsem vytvořila v programu Mathematica.

In the present work we study a linearization framework for assessing the security of hash functions and analyze the proposal of hash function BLAKE. The thesis demonstrates a limitation of a method presented in the linearization framework for which the method could not be applied to the full extent. Further in the thesis, it is explained how to find a message difference for second preimage attack with the help of linear codes. To that end, a matrix representing the linearized compression function of BLAKE is constructed. My thesis as a PDF file and source codes of computations that I created in Mathematica software are on an enclosed CD.