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:
We are currently looking for students who want to do their master thesis project with us.
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!