Project: European Provable secure platform for Public Safety

EPPS will develop a novel hypervisor, i.e. an operating system kernel with virtualization capability, aimed at mobile communication devices with very high safety and security needs, using an innovative toolchain able to formally prove the correctness of the source code. The hypervisor enforces isolation between software components, leading to more secure and robust systems. The deliverables will be the source code, models and proofs of this hypervisor, as well as an updated toolchain.

Acronym EPPS (Reference Number: 9330)
Duration 01/04/2015 - 01/04/2017
Project Topic Electronics, It And Telecoms Technology
Network Eurostars 2
Call Eurostars Cut-Off 2

Project partner

Number Name Role Country
20318 Prove & Run S.A.S. Coordinator France
20319 Elektrobit Wireless Communications Oy Partner Finland
20320 GSMK Gesellschaft für Sichere Mobile Kommunikation mbH Partner Germany
20321 Technische Universität Berlin Partner Germany