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:
- A provably secure execution platform for embedded devices such as mobile phones based on a virtualization core
- A set of security services for monitoring, security policy enforcement and information flow control built on top of this platform
- 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:
Securing DMA through Virtualization
Oliver Schwarz and Christian Gehrmann
2012 IEEE Workshop on Complexity in Engineering (COMPENG 2012), 11-13 June 2012, Aachen, Germany
Last modified: January 17 2013.