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:

Security & Privacy '16

PROSPER members found new timing-independent cache channels. Their paper "Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures" was published at Security & Privacy.

Paper Slides

Thesis projects

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

Read more »

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 »