Secure and Trustworthy Execution Platforms
Welcome to the Secure and Trustworthy Execution Platforms (STEP) group at KTH!
You can access thesis and publications in the dedicated Publications page.
News
- Jonas Haglund defence
-
Congratulations to Jonas Haglund who has successfully defended his dissertation Formal Verification of Peripheral Memory Isolation!
2023-06-14
- Andreas Lidner defence
-
Congratulations to Andreas Lindner who has successfully defended his dissertation Proving Safety and Security of Binary Programs!
2023-06-02
- Ning's 80% seminar
-
Ning did his 80% seminar titled “Building a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software.” Read more about Ning’s work on the Machine-Independent Language and the formally verified pipelined processor.
2023-03-14
- Anoud's 50% seminar
-
Anoud did her 50% seminar titled “HOL4P4: A Formal Semantics for P4 Programs.” Read more about her work on P4 formalization.
2023-03-09
- Didrik's 80% seminar
-
Didrik did his 80% seminar titled “Formal Verification of Binary Code and Programmable Networks.” Read more about his work verification of binary code and formalization of P4.
2023-02-16
- The 5th European P4 Workshop
-
Anoud Alshnakat and Didrik Lundberg attended EuroP4’22 in Rome, Italy. They presented their work on HOLP4: semantics for a verified data plane.
2022-12-09
- Henrik's 30% seminar
-
Henrik Karlsson did his 30% seminar on the design and implementation of a dynamic separation kernel.
2022-11-08