|
|
Privacy Preserving Smart-Contract Platforms and E-Voting
Žiška, Marek ; Homoliak, Ivan (referee) ; Perešíni, Martin (advisor)
Táto práca analyzuje platformy na ochranu súkromia ako Secret, Phala a Oasis Network, ktoré poskytujú nástroje pre vývoj smart kontraktov s možnosťou privátneho úložiska a dôverných výpočtových schopností. Platformy porovnávame na základe ich vlastností, ako je výkon, použiteľnosť a ďalšie faktory v kontexte prípadu použitia v elektronickom hlasovaní. Najprv predstavíme teoretické základy v oblasti volebných systémov, blockchainové technológie, smart kontrakty, technológie dôverného výpočtu a v neposlednom rade jednotlivé platformy na ochranu súkromia. Na základe zistení navrhneme volebný proces nášho smart kontraktu elektronického hlasovania, ktorý budeme implementovať na všetkých platformách. Následne analyzujeme možnosti a schopnosti vývoja každej z platforiem, najmä pokiaľ ide o definíciu štruktúry úložiska. Okrem toho navrhneme aj scenár hodnotenia, ktorý budeme vykonávať na každom z vyvinutých smart kontraktov. Po návrhu kľúčových častí smart kontraktov prechádzame k implementácií, kde diskutujeme o našich skúsenostiach, o použitých nástrojoch, o spôsobe zbere a vyhodnotenia štatistík a o metódach testovania. V rámci tejto fázy sme taktiež vyvinuli aj skripty, ktoré zbierajú štatistiky z navrhnutého scenára hodnotenia elektronického volebného systému, ktoré použijeme na vyhodnotenie a porovnanie týchto platforiem. Na záver zhrnieme dosiahnuté výsledky, kľúčové poznatky, úvahy a potenciálne oblasti pre budúce zlepšenia.
|
|
|
The analysis of cryptographic techniques for offloading computations and storage in blockchains
Olekšák, Samuel ; Homoliak, Ivan (referee) ; Perešíni, Martin (advisor)
Vznik blockchainových technológií umožnil nový pohľad na distribuované výpočty a decentralizovanú správu dát. Avšak so vzrastajúcou popularitou platforiem vznikajú problémy so škálovateľnosťou, keďže ich prevádzka vyžaduje kryptografické princípy náročné na zdroje. Táto práca skúma techniky, ktoré tento problém riešia odľahčovaním výpočtov a ukladania v blockchainoch pomocou zero-knowledge dôkazov, kryptografických akumulátorov a iných kryptografických techník. Druhá časť práce navrhuje nový spôsob implementácie trhoviska zero-knowledge dôkazov založeného na blockchaine s využitím proof of useful work (PoUW) konsenzuálneho protokolu.
|
|
|
Optimization of supporting cryptographic operations using hardware
Čurilla, Jakub ; Smékal, David (referee) ; Cíbik, Peter (advisor)
This work deals with the description of FPGA architecture circuits, their structure, VHDL language, FPGA design flow, cryptography and cryptographic operations, and subsequent implementation and realization of support functions for cryptographic operations in VHDL language, their time and performance analysis, and mutual comparison.
|
|
|
Biometric System Security Using Blockchain Technology
Žiška, Marek ; Drahanský, Martin (referee) ; Malaník, Petr (advisor)
Táto práca analyzuje existujúce protokoly používané na dosiahnutie konsenzu v blockchain technológiách, popisuje koncepty biometrických systémov, identifikuje ich bezpečnostné hrozby, predstavuje existujúce riešenia zabezpečenia biometrických systémov. Na základe týchto zistení navrhuje decentralizovanú verziu biometrického systému, ktorý využíva váhovaný protokol PBFT a blockchain na zlepšenie bezpečnosti ``Feature Extractor'' a ``Matcher'' modulov klasického biometrického systému. Blockchain je charakterizovaný ako systém zaznamenávania informácií, ktorý zaisťuje bezpečnosť, nemennosť a transparentnosť v distribuovanej sieti. Priame využitie blockchainu na zabezpečenie citlivých údajov, akými sú aj biometrické údaje, sa nepredpokladá ako najvhodnejšie využitie, no jeho integrácia v rámci procesov jednotlivých komponentov biometrických systémov sa javí ako dobrá možnosť. Nášmu návrhu sa podarilo zmierniť priame útoky na zabezpečované komponenty a útoky na kanály, ktoré ich spájajú, a na kanál, ktorý spája ``Matcher'' s externou aplikáciou.
|
|
|
Authentication in Smart Grids
Janáč, Richard ; Šťastný, Ladislav (referee) ; Franek, Lešek (advisor)
This thesis is dealing with the possibilities of authentication of service engineers for Smart Grid network devices. The aim was to select the most appropriate type of authentication security token. Therefore, we examined the main principals of cryptography and described the algorithms used in the security token. At the end of the paper, the main three types of security tokens are compared. Further, the paper evaluates their use in equipment for the implementation of Smart Grid networks and token selection for subsequent processing demonstration applications.
|
|
|
Hardware Acceleration of Cipher Attack
Okuliar, Adam ; Slaný, Karel (referee) ; Vašíček, Zdeněk (advisor)
Hardware acceleration is often good tool to achieve significantly better performance of processing great ammount of data or of realization of parallel algoritms. Aim of this work is to demonstrate resoluts of using FPGA circuits for implementation exponentially complex algorithm. As example haschosen brute-force attack on WEP cryptographic algorithm with 40-bit long key. Goal of this work is to compare properties and performance of software and hardware implementation of choosen algorithm.
|
|
|
Token based authentication
Loviška, Martin ; Šťastný, Ladislav (referee) ; Franek, Lešek (advisor)
Thesis is dealing with possibilities of user authentication using a security token to Linux console and web applications. Theoretical part of this work is devoted to cryptography basics, particularly asymmetric cryptography algorithms . Thesis generally describes aut- hentication methods and includes a brief categorization of smart card devices. The practi- cal part deals with SmartCard - HSM device setup for a client and creating own certificate authority using this device. Finally, it presents a demonstration deploying smart card login to Linux and web applications using tokens.
|
|
|
Attack On OpenDocument Encryption Using GPU
Jakubík, Samuel ; Čejka, Rudolf (referee) ; Hranický, Radek (advisor)
The aim of this work is to extend Fitcrack with a module that allows the recovery of passwords from Open Document Format documents using either CPU or GPU to accelerate the process. The thesis further analyses the structure of the Open Document Format. Subsequently, it describes the functions and algorithms used to encrypt Open Document Format files. The GPU module is implemented with the use of the OpenCL framework. Both the time needed to recover the password and the acceleration of the process using the graphics card were measured. The work also contains a comparison between an existing tool that supports decryption of this format and the newly implemented module.
|
|
|
Security mechanisms of OS Android utilizing the Kotlin language
Balaževič, Lukáš ; Mašek, Pavel (referee) ; Zeman, Kryštof (advisor)
Mobilné zariadenia sú v rámci technologickej histórie novinka a pri technológii, ktorá sa vyvíja tak rapídnym tempom a rastom používania je nutné dbať na zabezpečenie. Táto diplomová práca sa zaoberá rozborom bezpečnostných mechanizmov používaných v Android OS a komunikáciou medzi OS Android a vzdialeným serverom. Cieľom je preskúmať tieto mechanizmy a otestovať aké kryptografické metódy a postupy je najvýhodnejšie používať z hľadiska bezpečnosti s ohľadom na efektivitu. Tieto znalosti boli použité pre vytvorenie demonštračného systému, ktorý využíva vybrané zabezpečovacie mechanizmy a kryptografické postupy.
|
|
|
Communication in a hardware accelerated circuit
Rosa, Michal ; Jedlička, Petr (referee) ; Smékal, David (advisor)
Field Programmable Gate Arrays (FPGAs) are semiconductor devices that are based around a matrix of configurable logic blocks (CLBs) connected via programmable interconnects. FPGAs can be reprogrammed to desired application or functionality requirements after manufacturing. This feature distinguishes FPGAs from Application Specific Integrated Circuits (ASICs), which are custom manufactured for specific design tasks. Although one-time programmable (OTP) FPGAs are available, the dominant types are SRAM based which can be reprogrammed as the design evolves.
|
guest ::
