Welcome to the Secure and Trustworthy Execution Platforms (STEP) group at KTH!
You can access thesis and publications in the dedicated Publications page.
- Jonas Haglund defence
Congratulations to Jonas Haglund who has successfully defended his dissertation Formal Verification of Peripheral Memory Isolation!
- Andreas Lidner defence
Congratulations to Andreas Lindner who has successfully defended his dissertation Proving Safety and Security of Binary Programs!
- 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.
- 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.
- Didrik's 80% seminar
- 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.
- Henrik's 30% seminar
Henrik Karlsson did his 30% seminar on the design and implementation of a dynamic separation kernel.