Geeks
secure-compilation
/
SecurePtrs
Coq formalization for "SecurePtrs" paper
Primary Language
Coq
Apache License 2.0
Apache-2.0
SecurePtrs Home Page
SecurePtrs GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Watchers
catalin-hritcu
Max Planck Institute for Security and Privacy (MPI-SP)
robblanco
MPI-SP