Developing tools for research and evaluation of vulnerabilities within cryptographic code, taking into account the attacker model.
Browsing
News
New publications
- Some Recent Publications
- David Monniaux, Sylvain Boulmé: Chamois: agile development of CompCert extensions for optimization and security
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Sylvain Boulmé: Construire des logiciels fiables