Accueil
>
Axes
>
PACS
>
Projets
>
Projets
Projets
Les projets de l’axe Pacs
Projets en cours
Projets Nationaux
TAVA
- ANR 2021 - 2024
Toward Automated Vulnerability Analyses
Projets Terminés (<8 ans)
ARAMIS
- PIA 2014-2018
BINSEC
- ANR 2013-2017
CLAM
- Labex-Persyval 2021-2024
SACADE
- ANR 2017 - 2019
SECURIOT-2
- 2018-2020
La page de tous les projets et contrats de Verimag
Nouvelles publications
Quelques Publications Récentes (Pacs)
Léo Gourdin, Benjamin Bonneau, Sylvain Boulmé, David Monniaux, Alexandre Bérard:
Formally Verifying Optimizations with Block Simulations
Léo Gourdin:
Lazy Code Transformations in a Formally Verified Compiler
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
Offres d'emploi et stages
Offres d'emploi et stages (Pacs)
[Funded PhD] Quantitative analysis of software security against adaptive attacks
[Funded PhD] Annotations de sécurité pour compilateur optimisant formellement vérifié
Navigation
Rubriques
Verimag
Axes
Ressources partagées
ETiCS
Formal Proofs
PACS
Publications
Membres
Partenaires
Projets
Outils
Thèse en cours
Emplois et stages
MOHYTOS
FETLAS
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.2.16
+
AHUNTSIC
[CC License]
info visites
4120787
English
Français