Search
Now showing items 1-10 of 230
Hledání APN permutací ve známých APN funkcích
Hledání APN permutací ve známých APN funkcích
diploma thesis (DEFENDED)
Advisor: Göloglu, Faruk
Date Issued: 2018
Date of defense: 18. 09. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: In the thesis a new way of checking whether a function is CCZ-equivalent to a permutation is given. The results for known families of almost perfect nonlinear (APN) functions are presented for functions defined over GF(2n ...
V práci je představen nový způsob jak určit, jestli je daná funkce CCZ-ekvivalentní nějaké permutaci. Výsledky pro známé rodiny APN funkcí jsou prezentovány pro tělesa GF(2n ), kdy n ≤ 12 sudé. Dále jsou studovány způsoby ...
V práci je představen nový způsob jak určit, jestli je daná funkce CCZ-ekvivalentní nějaké permutaci. Výsledky pro známé rodiny APN funkcí jsou prezentovány pro tělesa GF(2n ), kdy n ≤ 12 sudé. Dále jsou studovány způsoby ...
Problém realizace von Neumannovsky regulárních okruhů
Problém realizace von Neumannovsky regulárních okruhů
diploma thesis (DEFENDED)
Advisor: Růžička, Pavel
Date Issued: 2015
Date of defense: 07. 09. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Název práce: Problém realizace von Neumannovsky regulárních okruhů Autor: Samuel Mokriš Katedra: Katedra algebry Vedoucí diplomové práce: Mgr. Pavel Růžička, Ph.D., Katedra algebry Abstrakt: Každému okruhu R s jednotkou ...
Title: The realization problem for von Neumann regular rings Author: Samuel Mokriš Department: Department of Algebra Supervisor of the master thesis: Mgr. Pavel Růžička, Ph.D., Department of Algebra Abstract: With every ...
Title: The realization problem for von Neumann regular rings Author: Samuel Mokriš Department: Department of Algebra Supervisor of the master thesis: Mgr. Pavel Růžička, Ph.D., Department of Algebra Abstract: With every ...
Weighted Clones
Vážené klony
diploma thesis (DEFENDED)
Advisor: Barto, Libor
Date Issued: 2018
Date of defense: 01. 02. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Weighted clones Azza Gaysin January 3, 2018 Abstract In this thesis we fully describe the structure of all binary parts of weighted clones over the Boolean clones generated by one of the semilattice operations and one or ...
Vážené klony Azza Gaysin 3. ledna 2018 Abstrakt V této práce kompletně popisujeme strukturu všech binárních částí vážených klonů nad booleovskými klony generovanými jednou z polosva- zových operací a jednou nebo dvěma ...
Vážené klony Azza Gaysin 3. ledna 2018 Abstrakt V této práce kompletně popisujeme strukturu všech binárních částí vážených klonů nad booleovskými klony generovanými jednou z polosva- zových operací a jednou nebo dvěma ...
Strongly compact cardinals and SCH
Silně kompaktní kardinály a SCH
bachelor thesis (DEFENDED)
Advisor: Šaroch, Jan
Date Issued: 2020
Date of defense: 22. 09. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce je věnována kardinální aritmetice. Prvním krokem je formulace Hypotézy sin- gulárních kardinálů (SCH), jež zjednodušuje kardinální mocnění singulárních kardinálů. Dále zavádíme pojem stacionární množiny a uzavřené ...
The thesis is devoted to the cardinal arithmetic. The first step is to formulate the Singular Cardinals Hypothesis (SCH) which simplifies the cardinal exponentiation of sin- gular cardinal numbers. We then define stationary ...
The thesis is devoted to the cardinal arithmetic. The first step is to formulate the Singular Cardinals Hypothesis (SCH) which simplifies the cardinal exponentiation of sin- gular cardinal numbers. We then define stationary ...
Constructions of APN permutations
Kosntrukce APN permutací
diploma thesis (DEFENDED)
Advisor: Göloglu, Faruk
Date Issued: 2016
Date of defense: 08. 09. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci zkoumáme rodinu vektorových boolovských funkcí na F22m , která je inspirována Kimovou funkcí, s cílem najít nové APN permutace na F22m pro m > 2. Funkce této rodiny jsou definované jako F(X) = X3 +bX3q +cX2q+1 ...
In this thesis, we examine a family of vectorial boolean functions on F22m inspired by Kim function, in order to find new APN permutations on F22m for m > 2. The functions of this family are defined as F(X) = X3 + bX3q + ...
In this thesis, we examine a family of vectorial boolean functions on F22m inspired by Kim function, in order to find new APN permutations on F22m for m > 2. The functions of this family are defined as F(X) = X3 + bX3q + ...
The BSS model and cryptography
BSS model a kryptografie
diploma thesis (DEFENDED)
Advisor: Krajíček, Jan
Date Issued: 2016
Date of defense: 16. 06. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Real numbers are usually represented by various discrete objects such as floating points or partial decimal expansions. This is mainly because the clas- sical computability theory relates to computers which work with ...
Looking for Weak States of RC4 by Means of Waiting Tables
Hledání slabých stavů RC4 pomocí čekacích tabulek
bachelor thesis (DEFENDED)
Advisor: Drápal, Aleš
Date Issued: 2018
Date of defense: 12. 09. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: AbstractEN.txt 07/23/2018 09:51:19 AM Page 1 of 1 Waiting Tables were introduced by Drápal and Hojsík in 2006 to study weak states of the stream cipher RC4. This thesis revisits Waiting Tables and some of their most important ...
AbstractCZ.txt 07/23/2018 09:51:08 AM Page 1 of 1 Čekací tabulky zavedli Drápal a Hojsík v roce 2006 kvůli zkoumání slabých stavů proudové šifry RC4. Tato práce se znovu vrací k čekacím tabulkám a některým jejich důležitým ...
AbstractCZ.txt 07/23/2018 09:51:08 AM Page 1 of 1 Čekací tabulky zavedli Drápal a Hojsík v roce 2006 kvůli zkoumání slabých stavů proudové šifry RC4. Tato práce se znovu vrací k čekacím tabulkám a některým jejich důležitým ...
Links Between Differential and Linear Cryptanalysis
Souvislosti mezi diferenciální a lineární kryptoanalýzou
diploma thesis (DEFENDED)
Advisor: Hojsík, Michal
Date Issued: 2015
Date of defense: 29. 01. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce se zabývá vztahy mezi maticemi užívanými při kryptoanalytických útocích, především vztahy mezi korelační maticí a maticí propagace diferencí. Ukážeme, že na některé z těchto vztahů lze nahlížet pouze jako na změnu ...
This thesis concerns the relations between correlation matrix, difference propagation matrix and other matrices used in the block cipher cryptanalysis. We show that some relations between these matrices can be seen just ...
This thesis concerns the relations between correlation matrix, difference propagation matrix and other matrices used in the block cipher cryptanalysis. We show that some relations between these matrices can be seen just ...
Analysis of the CubeHash proposal
Analýza návrhu hašovací funkce CubeHash
diploma thesis (DEFENDED)
Advisor: Tůma, Jiří
Date Issued: 2013
Date of defense: 17. 05. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Předkládaná práce se zabývá analýzou návrhu hašovací funkce CubeHash a zvláštní důraz klade na následující články: "Inside the Hyper- cube" [1], "Symmetric States and Their Improved Structure" [7] a "Lineari- sation Framework ...
The present thesis analyses the proposal of CubeHash with spe- cial emphasis on the following papers: "Inside the Hypercube" [1], "Sym- metric States and Their Improved Structure" [7] and "Linearisation Frame- work for ...
The present thesis analyses the proposal of CubeHash with spe- cial emphasis on the following papers: "Inside the Hypercube" [1], "Sym- metric States and Their Improved Structure" [7] and "Linearisation Frame- work for ...
Algebraický přístup k CSP
Algebraický přístup k CSP
rigorous thesis (RECOGNIZED)
Date Issued: 2012
Date of defense: 21. 12. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...