Home > Search Results: Botka, Michal
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 3 records found  Search took 0.00 seconds. 
Cryptanalysis of AES
 Botka, Michal ; Tůma, Jiří (advisor) ; Drápal, Aleš (referee)
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.
Detailed record
Cryptanalysis of AES
 Botka, Michal ; Drápal, Aleš (referee) ; Tůma, Jiří (advisor)
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.
Detailed record
Solving systems of linear equations
 Botka, Michal ; Žemlička, Jan (referee) ; Stanovský, David (advisor)
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English