The Provably Secure Execution Platforms for Embedded Systems (PROSPER) project aims to build the next generation framework for fully verified, secure hypervisors for embedded systems. It thus focuses on:

Student projects

PROSPER started an initiative to involve more students in the project. Interested in an exjobb or a new hobby project? Then join one of our student meetings or our group on KTH social!

Get involved! »

Verification talk online

On February 28th Mads Dam was invited to speak at the Irisa-DGA seminar "méthodes formelles et sécurité" in Rennes, France. The 1-hour-talk with the title "Formal verification of information flow security for a simple ARM-based separation kernel" is available online.

Download the video (457 MB) »

PROSPER in media

In the context of a Crosstalks debate Mads Dam talked with KTH News about our project. Subsequently, Elektroniktidningen, IDG and others reported about PROSPER.

More on our media page »