|
|
Privacy Preserving Smart-Contract Platforms and E-Voting
Žiška, Marek ; Homoliak, Ivan (oponent) ; Perešíni, Martin (vedoucí práce)
This work examines privacy-preserving platforms Secret, Phala, and Oasis Network, which provide frameworks for development of smart contracts with confidential storage and computation capabilities. We compare these platforms based on their features such as performance, usability, and additional factors within the context of an electronic voting use case. Firstly, we establish the theoretical foundations by introducing Voting Systems, then Blockchains, Smart Contracts, Trusted Computing, and Privacy-Preserving Platforms. We analyze the development capabilities, storage options, and other features of the selected platforms and propose the design of smart contracts for the e-voting application. Following this, we implement given smart contracts, detailing our experience, the tools used, testing procedures, contruct structure, and statistics collection methods. Proposed collected statistics allow us to estimate the vote-casting throughput of our implementations. Using this metric, along with other aspects, such as the development experience, storage options, community activity, documentation quality, we evaluate and compare these platforms. At the end we conclude the achieved results, key insights, reflections, and potentional areas for future improvements.
|
|
|
The analysis of cryptographic techniques for offloading computations and storage in blockchains
Olekšák, Samuel ; Homoliak, Ivan (oponent) ; Perešíni, Martin (vedoucí práce)
The emergence of blockchain technologies has enabled a new perspective on distributed computing and decentralised data management. However, with increasing popularity, platforms face challenges in the form of scalability, since their operation requires cryptographic principles which are computationally difficult. This thesis explores techniques that address this problem by offloading computations and storage from blockchains using zero-knowledge proofs, cryptographic accumulators and other cryptographic techniques. The second part of the thesis proposes a novel approach to implementing a blockchain-based zero-knowledge proof marketplace with proof of useful work (PoUW) consensus protocol.
|
|
| |
|
|
Biometric System Security Using Blockchain Technology
Žiška, Marek ; Drahanský, Martin (oponent) ; Malaník, Petr (vedoucí práce)
This work analyzes existing protocols used to reach consensus in blockchain technologies, describes the concepts of biometric systems, identifies their security threats, and presents existing solutions for securing the biometric systems. Based on these findings, designs a decentralized version of the biometric system that makes use of the weighted PBFT protocol and the blockchain to improve the security of feature extraction and matching module of the classical biometric system. Blockchain is characterized as a system of recording information that assures immutability. The direct use of blockchain to secure sensitive data, such as biometric data, is not expected to be the most appropriate use, but its integration within the processes of individual components of biometric systems appears to be a good option. The proposed system was implemented and tested with a variety of test scenarios. Evaluation has shown that our design managed to mitigate direct attacks on the focused components and attacks on the channels that connect them together and the channel that connects the matcher to the external application.
|
|
|
Autentizace v inteligentních sítích
Janáč, Richard ; Šťastný, Ladislav (oponent) ; Franek, Lešek (vedoucí práce)
Táto práca sa zaoberá možnosťami autentizácie servisných technikov pre zariadenia siete Smart Grid. Cieľom bolo vybrať najvhodnejší typ autentizácie bezpečnostným tokenom. Preto sme rozobrali základy kryptografie a rozobrali sme algortimy používané v bezpečnostných tokenoch. V závere práce sú porovnané tri typy bezpečnostných tokenov. Zhodnotenie ich využitia pre implementáciu do zariadení siete Smart Grid a výber tokenu pre nasledujúce spracovanie v demonštračnej aplikácií.
|
|
|
Hardwarová akcelerace útoku na šifrování
Okuliar, Adam ; Slaný, Karel (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Hardwarová akcelerácia výpočtu býva často vhodným nástrojom ako docieliť výrazne lepšieho výkonu pri spracovávaní veľkého množstva dát alebo pri realizácii algoritmu ktorý je možné dobre paralelizovať. Cieľom práce je demonštrovať výsledky použitia FPGA obvodov na implementáciu algoritmu s exponenciálnou zložitosťou. Zvoleným algoritmom je útok hrubou silou na šifrovací algoritmus WEP so 40 bitovým klúčom. Účelom práce je porovnať vlastnosti a výkon softwarovej a hardwarovej implementácie algoritmu.
|
|
|
Autentizace pomocí tokenu
Loviška, Martin ; Šťastný, Ladislav (oponent) ; Franek, Lešek (vedoucí práce)
Práca sa zaoberá možnosťami autentizácie pomocou bezpečnostného tokena do konzole linuxu a webovej aplikácie. Teoretická časť sa venuje základom kryptografie, najmä algo- ritmami asymetrickej kryptografie. Všeobecne popisuje možnosti autentizacie a obsahuje stručné rozdelenie smart card zariadení. Praktická časť sa zaoberá nastavením zariadenia SmartCard-HSM pre klienta a vytvorením vlastnej certifikačnej autority pomocou tohto zariadenia. Na záver je realizovaná ukážka prihlásenia do Linuxu a webovej aplikácie pomocou tokena.
|
|
|
Útok na šifrování dokumentů OpenDocument s využitím GPU
Jakubík, Samuel ; Čejka, Rudolf (oponent) ; Hranický, Radek (vedoucí práce)
Cieľom práce je rozšíriť nástroj Fitcrack o modul umožňujúci obnovu hesiel z dokumentov formátu Open Document Format, pracujúci na CPU, ale taktiež využívajúci podporu GPU na jeho zrýchlenie. V práci je analyzovaný formát súborov Open Document Format a následne sú v nej rozobrané funkcie a algoritmy, ktoré sú využívané na ich zabezpečenie. Na implementáciu modulu pre GPU je využitý framework OpenCL. Pre výsledný modul bol nameraný čas, potrebný na obnovu hesla a zrýchlenie tohto procesu pri využití grafickej karty. Práca obsahuje aj porovnanie s existujúcim nástrojom, ktorý podporuje dešifrovanie tohto formátu.
|
|
|
Security mechanisms of OS Android utilizing the Kotlin language
Balaževič, Lukáš ; Mašek, Pavel (oponent) ; Zeman, Kryštof (vedoucí práce)
Mobile devices are a novelty in technological history. With technology that is evolving at such a rapid pace and growth in use, it is necessary to pay attention to security. This diploma thesis deals with the analysis of the security mechanisms used in the Android OS and the communication between the Android OS and the remote server. The aim is to examine these mechanisms and test which cryptographic methods and procedures are most advantageous in terms of security with regard to efficiency. This knowledge was used to create a demonstration system that uses selected security mechanisms and cryptographic methods.
|
|
|
Komunikace uvnitř hardwarově akcelerovaného obvodu
Rosa, Michal ; Jedlička, Petr (oponent) ; Smékal, David (vedoucí práce)
Programovateľné hradlové polia (FPGA) sú polovodičové zariadenia, ktoré sú založené na matici konfigurovateľných logických blokov (CLB) prepojených programovateľnými prepojeniami. FPGA sa dajú po výrobe preprogramovať na požadované aplikácie podľa funkčných požiadaviek. Táto vlastnosť odlišuje FPGA od aplikačne špecifických integrovaných obvodov (ASIC), ktoré sa vyrábajú na zákazku pre špecifické konštrukčné úlohy. Hoci sú k dispozícii jednorazovo programovateľné (OTP) FPGA, prevládajú typy založené na pamäti SRAM, ktoré možno preprogramovať podľa vývoja návrhu.
|
host ::
RSS.