secure-compilation's repositories
exploring-robust-property-preservation
Coq development for "Journey Beyond Full Abstraction" paper
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
beyond-good-and-evil
Auxiliary materials for "Beyond Good and Evil" paper
SecurePtrs
Coq formalization for "SecurePtrs" paper
different_traces
The Coq development for "Trace-Relating Compiler Correctness and Secure Compilation" paper
secure-compilation.github.io
Code for SECOMP project website: https://secure-compilation.github.io