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:

Thesis projects

We are currently looking for students who want to do their master thesis project with us.

Read more »

SICS Open House

At SICS Open House 2015 we presented one of PROSPER's spin-off projects, HASPOC, in a poster and in an interview.

Watch the Interview »

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 »