Welcome to the Secure and Trustworthy Execution Platforms (STEP) group at KTH!

You can access thesis and publications in the dedicated Publications page.

News

2022-06-13

Ning Dong did his 50% seminar on verified pipelined processors and microarchitectural modelling and verification.

2022-06-09

STEP Retreat in Sigtuna.

2022-06-02

At SWITS, Anoud Alshnakat presented a formalization of P4, and Henrik Karlsson presented a poster on the design of a separation kernel.

2022-05-24

At the CDIS Spring Conference, Roberto Guanciale gave a talk, and Henrik Karlsson presented a poster about the separation kernel project.

2022-05-23

Anoud Alshnakat did her 50% seminar on the formalization of P4.

2022-05-15

HOL4 formalization of MIL publicly released.

2019-07-01

New website.

2019-06-24

Thomas Peterson joined the team for his Master Thesis, about Control-Flow Graph Reconstruction.

2019-06-24

KTH hosted the EuroS&P 2019 conference last week.

2019-05-20

Baptiste Coste joined the team for a three-months internship, to help on implementation of our Bounded Execution Time project.