Home
>
Verimag
>
Ongoing Phd Thesis
Etienne BOESPFLUG
Etienne BOESPFLUG
Browsing
Sections
Verimag
Members
Publications
Tools
Ongoing Phd Thesis
Jobs and Internships
Projects
Partners
Workshops and Conferences
Seminars
Documents
Topics
Contact
Site Map
Building Access
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, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel:
Testing a Formally Verified Compiler
David Monniaux, Sylvain Boulmé:
Chamois: agile development of CompCert extensions for optimization and security
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
Contact
|
Site Map
|
Site powered by SPIP 4.2.8
+
AHUNTSIC
[CC License]
info visites
3747039
English
Français