École Normale Supérieure Mémoire d’habilitation à diriger des recherches Specialité Informatique The Quest for Formally Secure Compartmentalizing Compilation

Source URL: prosecco.gforge.inria.fr

• Computing
• Theoretical computer science
• Software engineering
• Computer science
• Formal methods
• Logic in computer science
• Functional languages
• Formal verification
• Xavier Leroy
• Computer security
• Coq
• French Institute for Research in Computer Science and Automation

The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia

Source URL: prosecco.gforge.inria.fr

• Software engineering
• Computer programming
• Computing
• Functional programming
• Logic in computer science
• Functional languages
• Formal methods
• Type theory
• Monad
• F*
• Predicate transformer semantics
• Haskell

PDF Document

Source URL: hott-uf.gforge.inria.fr

PDF Document

Source URL: hott-uf.gforge.inria.fr

PDF Document

Source URL: hott-uf.gforge.inria.fr

PDF Document

Source URL: prosecco.gforge.inria.fr

PDF Document

Source URL: chic2.gforge.inria.fr

PDF Document

Source URL: binsec.gforge.inria.fr

PDF Document

Source URL: anr17-tecap.gforge.inria.fr

PDF Document

Source URL: belenios.gforge.inria.fr