secure-compilation

There are 2 repositories under secure-compilation topic.

secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq7 3 11
secure-compilation/SecurePtrs
Coq formalization for "SecurePtrs" paper
Language:Coq3 2 00