Home > Topics > PACS > Projects > Projects

Projects

Projets of the Pacs Line

Current Projects

Supported by National Programs

CLAM - Labex-Persyval 2021-2024
Cross-Layer Fault Analysis for Microprocessor Architectures
TAVA - ANR 2021 - 2024
Toward Automated Vulnerability Analyses

Past Projects

ARAMIS - PIA 2014-2018
BINSEC - ANR 2013-2017
SACADE - ANR 2017 - 2019
SECURIOT-2 - 2018-2020
SERTIF - ANR ASTRID 2014-2016

The whole Verimag Projects page

New publications

Some Recent Publications (Pacs)
- Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino: Formally Verified Superblock Scheduling
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- David Monniaux, Sylvain Boulmé: The Trusted Computing Base of the CompCert Verified Compiler
- Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard: Formally Verifying Optimizations with Block Simulations
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel: Testing a Formally Verified Compiler
- Paolo Torrini, Sylvain Boulmé: A CompCert Backend with Symbolic Encryption

Contact | Site Map | Site powered by SPIP 3.2.19 + AHUNTSIC [CC License]

info visites 2140550

UGA

CNRS

INP Grenoble