Home
>
Topics
>
PACS
>
Projects
>
Projects
Projects
Projets of the Pacs Line
Current Projects
Supported by National Programs
TAVA
- ANR 2021 - 2024
Toward Automated Vulnerability Analyses
Past Projects (<8 years)
ARAMIS
- PIA 2014-2018
BINSEC
- ANR 2013-2017
CLAM
- Labex-Persyval 2021-2024
SACADE
- ANR 2017 - 2019
SECURIOT-2
- 2018-2020
The whole Verimag Projects page
New publications
Some Recent Publications (Pacs)
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard:
Formally Verifying Optimizations with Block Simulations
David Monniaux, Sylvain Boulmé:
Chamois: agile development of CompCert extensions for optimization and security
Léo Gourdin:
Lazy Code Transformations in a Formally Verified Compiler
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
Publications
Members
Partners
Projects
Tools
Ongoing Phd Thesis
Jobs and Internships
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
3748571
English
Français