TY - THES TI - Řešení AX-rovnic TT - Solving AX-equations AU - Butora, Jan AB - 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 AB - Ná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 UR - http://hdl.handle.net/20.500.11956/86071 UR - http://www.nusl.cz/ntk/nusl-357353 A2 - Joščák, Daniel A2 - Tůma, Jiří LA - cze KW - modulární sčítání KW - Differential cryptanalysis KW - AX-equation KW - modular addition KW - AX-rovnice KW - podmínky řešitelnosti KW - Diferenční kryptoanalýza KW - carry KW - solvability condition KW - přenos PY - 2017 PB - Univerzita Karlova, Ovocný trh 5, 116 36 Praha 1, http://cuni.cz/ ER -