Home
>
Topics
>
PACS
>
Projects
>
Projects
Projects
Projets of the Pacs Line
Current Projects
Projets Nationaux
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)
Léo Gourdin:
Lazy Code Transformations in 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
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler
Jobs and internships
Jobs and internships (Pacs)
[Funded PhD] Quantitative analysis of software security against adaptive attacks
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
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
4140087
English
Français