• 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 ...
    • Využití cache-based útoků postranními kanály pro coverage-guided fuzzing 

      Autor: Jan Havránek; Vedoucí práce: Busch Marcel; Oponent práce: Shchavleva Marina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-08-25)
      Tato práce poskytuje přehled prvků ARMv8 architektury relevantních pro studium útoků postranními kanály založenými na pamětích cache. Dále zkoumá možnosti využití Flush+Flush útoku k extrakci informací o pokrytí kódu ...