Students13

• Didrik Lundberg“Formal Verification of Software-Defined Network Elements and Machine Code”2025 · KTH · doctoral
• Mikhail Shcherbakov“Code-Reuse Attacks in Managed Programming Languages and Runtimes”2024 · KTH · doctoral
• Ning Dong“Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software”2024 · KTH · doctoral
• Andreas Lindner“Proving Safety and Security of Binary Programs”2023 · KTH · doctoral
• Jonas Haglund“Formal Verification of Peripheral Memory Isolation”2023 · KTH · doctoral
• Hamed Nemati“Secure System Virtualization”2017 · KTH · doctoral
• Oliver Schwarz“No Hypervisor Is an Island”2016 · KTH · doctoral
• Musard Balliu“Logics for Information Flow Security:From Specification to Verification”2014 · KTH · doctoral
• Karl Palmskog“Towards Correct and Efficient Program Execution in Decentralized Networks: Programming Languages, Semantics, and Resource Management”2014 · KTH · doctoral
• Kristjan Valur Jonsson“The Security Properties of In-Network Aggregation”2013 · KTH · doctoral
• Andreas Lundblad“Inlined Reference Monitors”2013 · KTH · doctoral
• Irem Aktug“Algorithmic Verification Techniques for Mobile Code”2008 · KTH · doctoral
• Mika Cohen“Logics of Knowledge and Cryptography”2007 · KTH · doctoral