Projects in Awesome Lists tagged with secure-compilation
A curated list of projects in awesome lists tagged with secure-compilation .
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
https://github.com/secure-compilation/secureptrs
Coq formalization for "SecurePtrs" paper
capabilities compartmentalization coq secure-compilation
Last synced: 10 Feb 2025