Hledat
Zobrazují se záznamy 11-20 z 329
Matematické základy Stevensova algoritmu
Mathematical foundations of Steven's algorithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Jiří
Datum publikování: 2010
Datum obhajoby: 21. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práce se věnujeme tématu hledání kolizí v hashovací funkci MD5. V práci se zaměřujeme na Stevensův algoritmem pro hledání diferenčních cest a řešíme některé problémy spojení s tímto algoritmem. Řešíme zejména ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
Symetrie
Symmetries
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2014
Datum obhajoby: 25. 06. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Constructions of APN permutations
Kosntrukce APN permutací
Diplomová práce (OBHÁJENO)
Vedoucí práce: Göloglu, Faruk
Datum publikování: 2016
Datum obhajoby: 08. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 + ...
Automatická konstrukce modelů
Automated model building
Diplomová práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2015
Datum obhajoby: 08. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
The BSS model and cryptography
BSS model a kryptografie
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2016
Datum obhajoby: 16. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Quasigroup based cryptography
Kryptografie založená na teorii kvazigrup
Diplomová práce (OBHÁJENO)
Vedoucí práce: Stanovský, David
Datum publikování: 2009
Datum obhajoby: 01. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Možnou alternativou k bežne používaným kryptografickým schématům s veřejným klíčem, jejichž složitost je založena na problému faktorizace nebo diskrétním logaritmu, jsou schémata využívající složitost rešení systému ...
Public-key cryptographic schemes based on the complexity of solving multivariate quadratic equations over a finite field represent an alternative to widely used schemes relying on the complexity of factorization or on the ...
Public-key cryptographic schemes based on the complexity of solving multivariate quadratic equations over a finite field represent an alternative to widely used schemes relying on the complexity of factorization or on the ...
Looking for Weak States of RC4 by Means of Waiting Tables
Hledání slabých stavů RC4 pomocí čekacích tabulek
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2018
Datum obhajoby: 12. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hojsík, Michal
Datum publikování: 2015
Datum obhajoby: 29. 01. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Definovatelnost v matematických strukturách
Definability in mathematical structures
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2008
Datum obhajoby: 19. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Nazev pram: Defiuovatelnost v matrnnatickych struktnrneh Auiur: Pave! Patak Kat.odra: Katedra algebry Vedouci bakalafske prace: Prof. R.XDr. Jan Krajicek, DrSc. e-mail vedouciho: krajicek'Q'math.cas.cz AbytrakL: V pfedlo/.ene ...
Kódování a efektivita LDPC kódů
Kódování a efektivita LDPC kódů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2011
Datum obhajoby: 19. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: LDPC kódy jsou lineární samoopravné kódy, které jednak umožňují přenos dat rychlostí libovolně blízkou kapacitě kanálu, a zároveň pro ně existují vysoce účinné dekódovací algoritmy. Naproti tomu hlavní nevýhodou většiny ...
Low-density parity-check (LDPC) codes are linear error correcting codes which are capable of performing near channel capacity. Furthermore, they admit efficient decoding algorithms that provide near optimum performance. ...
Low-density parity-check (LDPC) codes are linear error correcting codes which are capable of performing near channel capacity. Furthermore, they admit efficient decoding algorithms that provide near optimum performance. ...