2004, Route des Lucioles
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: