#

secure-compilation

Here are 2 public repositories matching this topic...

secure-compilation / when-good-components-go-bad

Coq formalization for "When Good Components Go Bad" paper

coq undefined-behavior compartmentalization secure-compilation tagged-architectures software-fault-isolation

Updated Feb 17, 2025
Coq

secure-compilation / SecurePtrs

Coq formalization for "SecurePtrs" paper

coq capabilities compartmentalization secure-compilation

Updated Jun 3, 2022
Coq

Improve this page

Add a description, image, and links to the secure-compilation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the secure-compilation topic, visit your repo's landing page and select "manage topics."