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
Jobs and internships
Jobs and internships (Pacs)
[Master] Proved-Secure Compilation for RISC-V Processor
[Master] Modeling and Characterizing Fault Attacks exploiting the Memory Architecture
Browsing
Sections
Verimag
Topics
Shared Resources
ETiCS
Formal Proofs
PACS
Members
Partners
Publications
Projects
Tools
Ongoing Phd Thesis
Jobs and Internships
MOHYTOS
FETLAS
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.2.19
+
AHUNTSIC
[CC License]
info visites
2140550
English
Français