About PROSPER

PROSPER (Provably Secure Execution Platforms for Embedded Systems) aims to build the next generation framework for fully verified, secure hypervisors for embedded systems. The following components constitute the core of the project:
  1. A provably secure execution platform for embedded devices such as mobile phones based on a virtualization core
  2. A set of security services for monitoring, security policy enforcement and information flow control built on top of this platform
  3. A prototype toolset for formal specification and verification of the hypervisor, adaptable to different hardware architectures and hypervisor design choices, integrated into an Eclipse-based embedded systems IDE.

Institutes and People

PROSPER is a cooperation between the Group for Theoretical Computer Science at the KTH Royal Institute of Technology (Stockholm, Sweden) and the Security Lab at SICS Swedish ICT (Kista, Sweden). The following people are involved:

  
Mads DamChristian Gehrmann
Dilian GurovArash Vahidi
Musard BalliuViktor Do
Narges Khakpour
Hamed Nemati
Roberto Guanciale
Oliver Schwarz (affiliated to both, KTH and SICS)

Publications

Securing DMA through Virtualization
   Oliver Schwarz and Christian Gehrmann
   2012 IEEE Workshop on Complexity in Engineering (COMPENG 2012), 11-13 June 2012, Aachen, Germany

Partners


Last modified: January 17 2013.