Hledat
Zobrazují se záznamy 1-7 z 7
Bezpečnostní analýza aplikací využívajících chytré kontrakty, Security Analysis of Applications Using Smart Contracts
; Vedoucí práce: Růžička Jakub; Oponent práce: Zinetti Giorgio (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-08)
V této diplomové práci jsem řešil problém bezpečnosti aplikací založených na tzv. smart contractech a vytvořil framework pro testování těchto aplikací. Soustředil jsem se na hlavní zranitelnosti pěti hlavních komponent ...
Bezpečnostní audit Ethereum projektu, Security audit of Ethereum project
; 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 ...
Rozšíření nástroje Woke, Extension of tool Woke
; 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, Woke tool extension
; 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 ...
Abstrakce Ethereum účtů, Ethereum Account Abstraction
; Vedoucí práce: Dostál Jiří; 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 tejto práci je predstavený a preskúmaný komplexný systém účtov Ethereum a jeho abstrakcia definovaná v štandarde ERC-4337. Špeciálne sme sa zamerali na bezpečnostné aspekty poskytnutím modelovania hrozieb, zisťovaním ...
Bezpečnostní analýza consensus protokolů v technologii blockchain, Security Analysis of Blockchain Consensus Protocols
; 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 ...
Detektory zranitelností Ethereum projektů, Ethereum vulnerability detectors
; 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, ...