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-11-08

Henrik Karlsson did his 30% seminar on the design and implementation of a dynamic separation kernel.

2022-10-27

Henrik Karlsson presented his work on the design and implementation of a dynamic separation kernel at the CDIS Fall Retreat.

2022-10-19

Jonas Haglund, Karl Palmskog, and Ning Dong attended FMCAD 22. The following papers from KTH STEP were published at FMCAD 22, Formally Verified Isolation of DMA, and Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution.

2022-09-14

Congratulations to Pablo Buiras and his co-authors who received the Most Influencial Paper of ICFP’12 award for the paper Addressing Covert Termination and Timing Channels in Concurrenct Information Flow Systems. The work was done while Pablo was at Chalmers.

2022-08-31

Anoud Alshnakat and Didrik Lundberg presented their poster on the formalization of the P4 programming language.

2022-08-16

The formalization of the Machine-Independent Language (MIL), that captures microarchitectural features, have been released.

2022-07-08

The papers “Formally Verified Isolation of DMA,” by Jonas Haglund and Roberto Guanciale, and the paper “Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution,” by Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, and Mads Dam, were accepted to FMCAD 22!

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.