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:

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 »

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 »