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:

SICS Security Seminar

In this year's security seminar at SICS ("Securing infrastructures, the Smart GRID and the Things", Kista, 8th of April 2014) Oliver Schwarz will talk about formal verification within the PROSPER project.

Program + Registration »

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 »

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.

Watch the video »