Vous êtes ici

Séminaire SoSySec - 05 février, 14h00, salles Pétri-Turing - Catalin Hritcu (Inria, paris)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
We propose a new formal criterion for secure compilation, providing
strong end-to-end security guarantees for components written in
unsafe, low-level languages wit...

vignette: