Address
Project Everest
INRIA Sophia-Antipolis
2004, Route des Lucioles
BP 93
06902 Sophia-Antipolis
 Verification and Security of Software |
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