Mgr. Tomáš Rabas

Mgr. Tomáš Rabas

Ing. Jan Bělohoubek, Ph.D.

Katedra informační bezpečnosti

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 separačních kernelů s operačními systémy reálneho času a tradičními operačními systémy tato práce poukazuje na výhody separačních kernelů v prostředí se zvýšenými požadavky na bezpečnost a spolehlivost. Případová studie demonstruje integraci unikernelů v rámci separačního kernelu pro zajištění bezpečné komunikace mezi izolovanými komponentami. Zjištění ilustrují potenciál separačních kernelů splnit náročné požadavky systémů s vysokou mírou důvěryhodnosti a nabízejí dobré řešení pro odvětví, kde jsou vysoké bezpečnostní záruky nezbytné.

Mgr. Tomáš Rabas

Ing. Jiří Buček, Ph.D.

Katedra informační bezpečnosti

Tato práce se zaměřuje na softwarová protipatření proti útokům pomocí odběrové analýzy na násobení polynomů, konkrétně na algoritmus používaný v postkvantových kryptografických schématech BIKE a HQC. Práce podrobně popisuje algoritmus násobení a různé ochranné techniky, včetně hiding a masking protipatření. V práci jsou implementovány různé upravené verze algoritmu násobení využívající tato protipatření a jejich účinnost je hodnocena pomocí Test Vector Leakage Assessment (TVLA) a ChipWhisperer-Nano. Výsledky hodnocení ukazují, že implementovaná softwarová protipatření významně snižují únik citlivých informací, přičemž jednotlivé techniky poskytují různou míru ochrany a rozdílný dopad na výkonnost algoritmu.