• Automatické vyhodnocování žebříčků zranitelností IoT 

      Autor: Ondřej Cach; Vedoucí práce: Dostál Jiří; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-05)
      Tato diplomová práce se zabývá automatizovaným vyhodnocováním žebříčků zranitelností v zařízeních internetu věcí (IoT). Navazuje na diplomovou práci (Tropková, 2023), v níž byl navržen základní postup tvorby žebříčků, avšak ...
    • Demonstrace SCADA pomocí protokolu OPC UA 

      Autor: David Pekař; Vedoucí práce: Buček Jiří; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-18)
      Tato bakalářská práce se zabývá tvorbou zabezpečeného SCADA systému pomocí protokolu OPC UA. Teoretická část práce popisuje průmyslové protokoly OPC UA a CIP a jejich bezpečnostní mechanismy. V praktické části je dokumentován ...
    • Srovnání a analýza separačních kernelů 

      Autor: Miroslav Belej; Vedoucí práce: Rabas Tomáš; Oponent práce: Bělohoubek Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2025-06-13)
      Tato práce zkoumá použití separačních kernelů v systémech s vysokou mírou důvěryhodnosti, které se zaměřují na zvýšení bezpečnosti a spolehlivosti, přičemž se soustředí na dvě konkrétní implementace: Muen a seL4. Porovnáním ...