Řešení AX-rovnic
Solving AX-equations
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/86071Identifikátory
SIS: 190075
Kolekce
- Kvalifikační práce [10690]
Autor
Vedoucí práce
Oponent práce
Joščák, Daniel
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Matematické metody informační bezpečnosti
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
19. 6. 2017
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
Diferenční kryptoanalýza, AX-rovnice, modulární sčítání, přenos, podmínky řešitelnostiKlíčová slova (anglicky)
Differential cryptanalysis, AX-equation, modular addition, carry, solvability conditionNázev práce: Řešení AX-rovnic Autor: Jan Butora Katedra: Katedra algebry Vedoucí diplomové práce: doc. RNDr. Jiří Tůma, DrSc., Katedra algebry Abstrakt: V této práci si představíme pojem AX-rovnic a zaměříme se na dvě takové rovnice. Pomocí podobných technik, vybudujeme pro obě rovnice teorii, která nám umožní vyjádřit počet jejich řešení pouze v závislosti na jejich paramet- rech. Pomocí této teorie pak na příkladě ukážeme, že jednotlivé diferenční kroky, využívané pro diferenční kryptoanalýzu modulárního sčítání, nejsou nezávislé. Navíc na základě této teorie vybudujeme a implementujeme rychlé algoritmy na hledání všech řešení. Klíčová slova: diferenční kryptoanalýza, AX-rovnice, modulární sčítání, přenos, podmínky řešitelnosti
Title: Solving AX-equations Author: Jan Butora Department: Department of algebra Supervisor: doc. RNDr. Jiří Tůma, DrSc., Department of algebra Abstract: In this work, we present concept of AX-equations and focus on two such equations. Using similiar techniques, we build a theory for both equations, which allows us to express number of their solutions based only on their parameters. Using this theory, we demonstrate on an example that differential steps, used in differential cryptanalysis of modular addition, are not independent. Moreover, based on this theory we introduce and implement fast algorithms for searching solutions. Keywords: differential cryptanalysis, AX-equations, modular addition, carry, sol- vability condition