Projects in Awesome Lists tagged with software-fault-isolation
A curated list of projects in awesome lists tagged with software-fault-isolation .
https://github.com/secure-compilation/when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
compartmentalization coq secure-compilation software-fault-isolation tagged-architectures undefined-behavior
Last synced: 24 Apr 2025
