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:
PROSPER started an initiative to involve more students in the project. Interested in an exjobb or a new hobby project? Then join one of our student meetings or our group on KTH social!
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.