Hledat
Zobrazují se záznamy 1-10 z 55
Pokročilé metody hledání diskrétního logaritmu
Advanced techniques for calculations of discrete logarithm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2013
Datum obhajoby: 13. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Let G be a finite cyclic group. Solving the equation g^x = y for a given generator g and y is called the discrete logarithm problem. This problem is at the core of many modern cryptographic transformations. In this paper ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
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 ...
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: ...
Algoritmy v teorii reprezentací
Algorithms in Representation Theory
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šťovíček, Jan
Datum publikování: 2013
Datum obhajoby: 20. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá implementací algoritmu pro nalezení generátoru skoro štěpitelných posloupností nerozložitelného a neprojektivního modulu algebry cest nad konečným toulcem. Algoritmus je zde implementován v algebraickém ...
This thesis deals with an implementation of algorithm for computation of generator of almost split sequences ending at an indecomposable nonprojective module of path algebra over finite quiver. Algorithm is implemented in ...
This thesis deals with an implementation of algorithm for computation of generator of almost split sequences ending at an indecomposable nonprojective module of path algebra over finite quiver. Algorithm is implemented in ...
Pokročilé metody lineární kryptoanalýzy
Advanced methods of Linear Cryptanalysis
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rudolf, Bohuslav
Datum publikování: 2011
Datum obhajoby: 19. 05. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme pokročilé metody lineární kryptoanalýzy. Nejprve popisujeme samotný princip Matsuiho lineární kryptoanalýzy, její základní dva algoritmy - Algoritmus 1 a Algoritmus 2, proti šifře DES. Dále je ...
In the present work we study advanced methods of linear cryptanalysis. At the beginning, we describe the principle of Matsui's linear cryptanalysis, the two basic algorithms - Algorithm 1 and Algorithm 2, against DES cipher. ...
In the present work we study advanced methods of linear cryptanalysis. At the beginning, we describe the principle of Matsui's linear cryptanalysis, the two basic algorithms - Algorithm 1 and Algorithm 2, against DES cipher. ...
Frobeniovy testy prvočíselnosti
Frobenius tests of primality
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2011
Datum obhajoby: 19. 05. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Frobeniovy testy prvočíselnosti Autor: Jan Hora Katedra (ústav): katedra algebry Vedoucí diplomové práce: prof. RNDr. Aleš Drápal, CSc. Dsc. e-mail vedoucího: drapal@karlin.mff.cuni.cz Abstrakt: V následující ...
Title: Frobenius primality tests Author: Jan Hora Department: Department of algebra Supervisor: prof. RNDr. Aleš Drápal, CSc. Dsc. Supervisor's e-mail address: drapal@karlin.mff.cuni.cz Abstract: In the present work we ...
Title: Frobenius primality tests Author: Jan Hora Department: Department of algebra Supervisor: prof. RNDr. Aleš Drápal, CSc. Dsc. Supervisor's e-mail address: drapal@karlin.mff.cuni.cz Abstract: In the present work we ...
Bezpečnost elektronického hlasování
Security of an Electronic Voting System
Diplomová práce (OBHÁJENO)
Vedoucí práce: Růžička, Pavel
Datum publikování: 2014
Datum obhajoby: 23. 01. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Elektronické volby, také označované jako i-volby by mohly pomoci při odstraňování krize v naší demokracii, která se projevuje nespoluprácí při možnosti vyjadřování svého názoru na přímých volbách. V rámci elektronického ...
Electronic elections, also known as i-voting might help in removing the crisis in our democracy, which is reflected in non-cooperation in the opportunity of expressing their opinions during direct elections. Automation ...
Electronic elections, also known as i-voting might help in removing the crisis in our democracy, which is reflected in non-cooperation in the opportunity of expressing their opinions during direct elections. Automation ...
Útoky na RSA založené na redukci mřížky
Attacks on RSA based on lattice reduction
Diplomová práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2018
Datum obhajoby: 18. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis aims to describe in detail the Coppersmith's algorithm for fin- ding small solutions to polynomial congruences which is based on lattice basis reduction. This algorithm is a cornerstone of several attacks ...
Diplomová práce má za cíl podrobně prostudovat Coppersmithův algoritmus pro hledání malých kořenů polynomiálních kongruencí, který je založen na re- dukci báze mřížky. Z tohoto algoritmu vychází celá řada útoků na ...
Diplomová práce má za cíl podrobně prostudovat Coppersmithův algoritmus pro hledání malých kořenů polynomiálních kongruencí, který je založen na re- dukci báze mřížky. Z tohoto algoritmu vychází celá řada útoků na ...
Rozšířený binární Golayův kód
Extended binary Golay code
Diplomová práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2011
Datum obhajoby: 19. 05. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce pojednává o třech konstrukcích rozšířeného binárního Golayova kódu G24. První konstrukce vychází z projektivní roviny řádu čtyři. Z ní je vybudován Steinerův systém (5, 8, 24). Lineární obal jeho bloků tvoří ...
This work deals with three different constructions of the extended binary Golay code G24. The first construction is based on a projective plane of order four. In terms of it Steiner system (5, 8, 24) is built. Linear span ...
This work deals with three different constructions of the extended binary Golay code G24. The first construction is based on a projective plane of order four. In terms of it Steiner system (5, 8, 24) is built. Linear span ...
Generické algoritmy
Generic algorithms
Diplomová práce (OBHÁJENO)
Vedoucí práce: Příhoda, Pavel
Datum publikování: 2017
Datum obhajoby: 13. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zaměřuje na odhad složitosti generických algoritmů pro problém dis- krétního logaritmu a Diffie-Hellmanových problémů. Pro tento účel práce zavádí dva rozdílné modely Black-Box. Na těchto modelech pak práce odhaduje ...
This thesis focuses on the lower bounds for generic algorithms for discrete logarithms problem and Diffie-Hellman's problems. This thesis introduces two diffrent models of Black-Box for that purpose. On these models thesis ...
This thesis focuses on the lower bounds for generic algorithms for discrete logarithms problem and Diffie-Hellman's problems. This thesis introduces two diffrent models of Black-Box for that purpose. On these models thesis ...