Address
Project Everest
INRIA Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis
 Verification and Security of Software |
The Everest project was stopped end 2008
The Everest project concentrates on increasing reliability and security of mobile and embedded software. This is achieved by developing and applying formal methods and language-based techniques, covering both platform and application level.
The project's privileged application domain ranges from trusted personal devices, such as mobile phones and smart cards, to ubiquitous computing.
The project focuses on the following research themes:
- Program
verification and Proof Carrying Code
- Machine-checked semantics
- Machine-checked provable cryptography
- Foundations
of proof assistants