Welcome to the Secure and Trustworthy Execution Platforms (STEP) group at KTH!
You can access thesis and publications in the dedicated Publications page.
Henrik Karlsson did his 30% seminar on the design and implementation of a dynamic separation kernel.
Henrik Karlsson presented his work on the design and implementation of a dynamic separation kernel at the CDIS Fall Retreat.
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.
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.
The formalization of the Machine-Independent Language (MIL), that captures microarchitectural features, have been released.
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!
STEP Retreat in Sigtuna.