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

On March 22 SICS will again organize its annual Open House day. This year, we will introduce one of PROSPER's spin-off projects, HASPOC, in a poster. Don't miss the chance to talk us!

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 »