|
|
Centralized Cryptocurrency Exchange with Trusted Computing
Sasák, Tomáš ; Očenášek, Pavel (oponent) ; Homoliak, Ivan (vedoucí práce)
In this thesis, we propose, design, implement, and analyze a centralized cryptocurrency exchange using trusted computing. Most popular exchanges work in a way that requires the customer to fully rely on the exchange operators. Decentralized exchanges work on top of existing blockchains, which limits the number of tradable coins. Using a trusted computing platform, Intel SGX, it is possible for operators to make code open source, and the customer can attest that the exchange platform is running the published exchange code. Also, exchange private keys are encrypted in memory and safely stored on disk using SGX sealing. Combining this approach with a smart contract platform on a public blockchain, we can achieve non-equivocation of the exchange and create a better layer of security and transparency between the customer and the exchange. The exchange was implemented as a proof-of-concept using the programming language Go, using the EGo framework to build SGX enclave applications. For data storage, we combine key-value storage PebbleDB with relation database PostgreSQL, and exchange attempts to secure the integrity of these data. The exchange smart contract was implemented in Solidity and deployed on the Ethereum development environment. Our concept implementation is able to handle around 35 deposits per second and around 23 bids matched per second. We performed a security analysis on this model from outside, but also from inside. The single ledger update from the exchange in the smart contract costs 0.00255 ETH, which in total costs 3.6742 ETH per day.
|
|
| |
|
|
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.
|
|
| |
|
|
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.
|
|
|
Ú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.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
host ::
RSS.