|
|
Postquantum cryptography on FPGA
Győri, Adam ; Jedlička, Petr (oponent) ; Smékal, David (vedoucí práce)
This work describes the post-quantum algorithm FrodoKEM, its hardware implementation in VHDL and software simulation of implementation, subsequent implementation of the implementation on the FPGA process system. The work describes the issue of postquantum cryptography and VHDL programming language used to describe the functionality of hardware. Furthermore, the work deals with the functional implementation and simulation of all parts of the algorithm. Specifically, these are parts, key generation, encapsulation, and decapsulation. Algorithm implementation and simulations were performed in the Vivado software simulation environment, created by Xilinx. Subsequently, the synthesis and implementation was performed and the Intellectual property block was designed, the key part of which covered the functionality of the NEXYS A7 FPGA board was not available. The last part of the work deals with the workflow algorithm for implementation on FPGA board NEXYS A7.
|
|
|
Volné algebraické struktury a jejich využití pro segmentaci digitálního obrazu
Čambalová, Kateřina ; Solovjovs, Sergejs (oponent) ; Pavlík, Jan (vedoucí práce)
Práce se zabývá metodami segmentace obrazu. Na principu prahování je postavena metoda fuzzy segmentace. Ta je zobecněna do vícekriteriální metody. Celá metoda je podepřena teorií volných algeber. Přes uspořádané množiny na vlastnostech obrazu je vytvořen volný distributivní svaz, jehož prvky jsou termy použitelné k prahování. Je představen rozklad na třídy ekvivalence, které mohou tvořit možné výsledky segmentace. V závěru jsou představeny použité algoritmy a navrženy metody jejich zrychlení. Dále je představena metoda možného odčítání objektů.
|
|
|
Post Quantum Cryptography on FPGA
Gyõri, A. ; Smékal, D.
This work describes the post-quantum algorithm FrodoKEM, its hardware implementation in VHDL and software simulation of implementation. The issue of postquantum cryptography and the VHDL programming language used to describe the functionality of the hardware was studied. The acquired knowledge was transformed into a functional simulation of all parts of the algorithm. All these parts have already been implemented separately, so that the functionality of every single part can be separately approached. These parts are key generation, encapsulation and decapsulation. After successful simulation. These parts will be synthetised and implemented to FPGA board NEXYS A7.
|
|
|
Postquantum cryptography on FPGA
Győri, Adam ; Jedlička, Petr (oponent) ; Smékal, David (vedoucí práce)
This work describes the post-quantum algorithm FrodoKEM, its hardware implementation in VHDL and software simulation of implementation, subsequent implementation of the implementation on the FPGA process system. The work describes the issue of postquantum cryptography and VHDL programming language used to describe the functionality of hardware. Furthermore, the work deals with the functional implementation and simulation of all parts of the algorithm. Specifically, these are parts, key generation, encapsulation, and decapsulation. Algorithm implementation and simulations were performed in the Vivado software simulation environment, created by Xilinx. Subsequently, the synthesis and implementation was performed and the Intellectual property block was designed, the key part of which covered the functionality of the NEXYS A7 FPGA board was not available. The last part of the work deals with the workflow algorithm for implementation on FPGA board NEXYS A7.
|
|
|
Malé kořeny celočíselných polynomů více proměnných
Todorovová, Dora ; Příhoda, Pavel (vedoucí práce) ; Žemlička, Jan (oponent)
Tato práce se zabývá Coppersmithovou metodou na hledání kořenů celo- číselných polynomů modulo N, která je založena na redukci báze mřížky. Nejprve zadefinujeme pojem mřížka a ukážeme si LLL algoritmus ve zjed- nodušené podobě. Dále popíšeme Coppersmithovu metodu a tvrzení, která se k ní vztahují. Následně ukážeme řešený příklad z článku od D. Boneh a G. Durfee a obecný postup z článku od E. Jochemsz a A. May, který do- plníme o několik důkazů navíc. V poslední kapitole vyřešíme příklady pomocí obecného postupu. 1
|
|
| |
|
|
Útoky na RSA založené na redukci mřížky
Vaněček, Jaromír ; Příhoda, Pavel (vedoucí práce) ; Jedlička, Přemysl (oponent)
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 nejrozšířenější asymetrickou šifrovací metodu RSA, a proto se práce dále zaměřuje na popis vybraných útoků. Jako jeden ze zásadních a aktuálních útoků můžeme zmínit tak zvaný ROCA, který umožňuje faktorizovat RSA modulus, pokud jsou prvo- čísla určitého tvaru. Nakonec je v práci Coppersmithův algoritmus, stejně jako útok ROCA, implementován a je provedena celá řada měření a experimentů. Z nasbíraných dat je možné vyčíst například, jak závisí doba běhu algoritmu na různých parametrech nebo jaké hodnoty parametrů jsou optimální v konkrétních situacích. 1
|
|
|
Kvantová logika a projektivní prostory
Peksová, Lada ; Krýsl, Svatopluk (vedoucí práce) ; Cejnar, Pavel (oponent)
V této práci nahlížíme na množinu výroků o vlastnostech kvantového sys- tému jako na částečně uspořádanou množinu podprostorů konečně či nekonečně dimenzionálního Hilbertova prostoru. Operaci uspořádání provádíme na množině výroků porovnáním pravdivostních hodnot výroků a na množině podprostorů jako operaci inkluze. Na základě požadovaných vlastností převádíme tyto struk- tury na operace se svazem. Ukazujeme, čemu zde odpovídá Heisenbergův princip neurčitosti. Dále ukazujeme, že svazy odpovídající podprostorům nekonečně di- menzionálního Hilbertova nejsou modulární. Tuto vlastnost tak dále, po přidání operace negace, nahrazujeme slabší vlastností - ortomodularitou. V návaznosti na práci G. Birkhoffa a J. von Neumanna pak hledáme strukturu kvantové logiky v projektivních prostorech, které zavádíme aritmeticky i axiomaticky. Analyzu- jeme také příklady kvantové logiky, jejich fyzikální realizace i případné realizace v projektivních prostorech. 1
|
|
|
Volné algebraické struktury a jejich využití pro segmentaci digitálního obrazu
Čambalová, Kateřina ; Solovjovs, Sergejs (oponent) ; Pavlík, Jan (vedoucí práce)
Práce se zabývá metodami segmentace obrazu. Na principu prahování je postavena metoda fuzzy segmentace. Ta je zobecněna do vícekriteriální metody. Celá metoda je podepřena teorií volných algeber. Přes uspořádané množiny na vlastnostech obrazu je vytvořen volný distributivní svaz, jehož prvky jsou termy použitelné k prahování. Je představen rozklad na třídy ekvivalence, které mohou tvořit možné výsledky segmentace. V závěru jsou představeny použité algoritmy a navrženy metody jejich zrychlení. Dále je představena metoda možného odčítání objektů.
|
|
| |
host ::
RSS.