Mgr. Tomáš Rabas

Mgr. Tomáš Rabas

Ing. Jan Bělohoubek, Ph.D.

Department of Information Security

This thesis explores the use of separation kernels in high-assurance systems to enhance security and reliability, with a focus on two specific implementations: Muen SK and seL4. By comparing separation kernels with real-time operating systems and traditional operating systems, this work highlights the advantages of separation kernels in environments where security and reliability are at the forefront. A case study demonstrates integration of unikernels within a separation kernel to ensure secure communication between isolated components. The findings illustrate the potential of separation kernels to meet demanding requirements of high-assurance systems, offering a good solution for industries, where high security guarantees are essential.

Mgr. Tomáš Rabas

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

Department of Information Security

This thesis focuses on software countermeasures against power analysis attacks targeting polynomial multiplication, specifically the multiplication algorithm used in the post-quantum cryptographic schemes BIKE and HQC. The thesis provides a detailed description of the multiplication algorithm and various mitigation techniques, including hiding and masking countermeasures. Several modified versions of the multiplication algorithm are implemented in this thesis using these countermeasures, and their effectiveness is evaluated using the Test Vector Leakage Assessment (TVLA) and the ChipWhisperer-Nano. The evaluation results show that the implemented software countermeasures significantly reduce leakage of sensitive information, with different techniques offering varying levels of protection and performance impact.