software-fault-isolation

There are 1 repositories under software-fault-isolation topic.

secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq7 4 11