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 |