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

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.


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.