| Meno: | Tomáš
|
|---|
| Priezvisko: | Žubrietovský
|
|---|
| Názov: | Kryptoanalýza hašovacích funkcií pomoocu SAT solverov
|
|---|
| Vedúci: | doc. RNDr. Martin Stanek PhD.
|
|---|
| Rok: | 2010
|
|---|
| Blok: | INF
|
|---|
| Kľúčové slová: | BLAKE-32, SAT solver, MD5, kryptoanalýza
|
|---|
| Abstrakt: | V tejto diplomovej práci sa venujeme kryptoanalýze hašovacích funkcií pomocou SAT
solverov. Použitie SAT solverov na kryptoanalýzu hašovacích funkcií nie je nová oblasť,
ale stále nie úplne preskúmaná. Preto sme sa rozhodli použiť SAT solvery na jednu z
nových hašovacích funkcií a zistiť ako sú nové hašovacie funkcie odolné proti tomuto útoku.
Vybrali sme hašovaciu fuknciu BLAKE, ktorá sa dostala do druhého kola o návrh na
novú hašovaciu funkciu SHA-3. Na tejto hašovacej funkcii sme testovali jednosmernosť a
hľadanie kolízií. Výsledky sme porovnali s výsledkami dosiahnutými pre staršiu hašovaciu
funkciu MD5.
|
|---|