• Bezpečnostní analýza consensus protokolů v technologii blockchain 

      Autor: Kryštof Rašovský; Vedoucí práce: Dostál Jiří; Oponent práce: Gattermayer Josef
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-14)
      Tato bakalářská práce se zabývá analýzou technologie blockchain z hlediska informační bezpečno-sti. Aspekty této technologie jsou v posledních letech ve vědecké komunitě častým tématem diskuzí, bohužel málokdy je v nich ...
    • Bezpečnostní audit Ethereum projektu 

      Autor: Vojtěch David; Vedoucí práce: Gattermayer Josef; Oponent práce: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-03)
      Ve své práci se zabývám bezpečnostním auditem aplikace PWN, která je napsaná v jazyce Solidity a je nahraná na blockchain Etherea. V textu je detailně popsán princip protokolu Bitcoin a na těchto základech vysvětluji, jak ...
    • Detektory zranitelností Ethereum projektů 

      Autor: Dmytro Khimchenko; Vedoucí práce: Gattermayer Josef; Oponent práce: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-14)
      V současné době je nesmírně populární technologie zvaná blockchain. Tato technologie má mnoho případů využití, ale jedním z nich je umožnit lidem vyvíjet aplikace a nasadit je do nového prostředí, kterému se říká blockchain, ...
    • Odhad hodnoty NFT kolekcí 

      Autor: Daniel Bukač; Vedoucí práce: Votruba Martin; Oponent práce: Gattermayer Josef
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-09)
      Práce se zaměřuje na odhad ceny nezaměnitelných tokenů, které představuji záznam o vlastnictvi digitálniho sběratelského uměni na Ethereum blockchainu. Nejprve jsou představeny metody strojového učeni vhodné k řešeni ...
    • Rozšíření nástroje Woke 

      Autor: Michal Převrátil; Vedoucí práce: Gattermayer Josef; Oponent práce: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
      Tato práce se zabývá implementací modulů do vznikajícího nástroje Woke určeného pro analýzu smart kontraktů na platformě Ethereum. V práci je detailně popsán Ethereum blockchain a programovací jazyk Solidity určený pro ...
    • Rozšíření nástroje Woke 

      Autor: Jan Kuběna; Vedoucí práce: Gattermayer Josef; Oponent práce: Kodýtek Filip
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-09)
      Cílem této práce je rozšířit open source nástroj Woke sloužící k analýze smart kontraktů v jazyce Solidity nasazených na Ethereu o sběr pokrytí kódu fuzz testy a nové statické detektory. Nejdříve je představen projekt ...
    • Rozšíření nástroje Woke 

      Autor: Lukáš Böhm; Vedoucí práce: Gattermayer Josef; Oponent práce: Jureček Martin
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-02-09)
      Tato práce se ve své první polovině věnuje technologii Ethereum, EVM a následně samotným smart kontraktům. Tyto informace jsou nezbytné pro analýzu nástrojů a návrh funkcionalit nástroje Woke. Jednotlivé nástroje jsou ...