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