tslilyai / verified-auto-enclave Goto Github PK
View Code? Open in Web Editor NEWThis project forked from aaronbembenek/verified-auto-enclave
Verified automatic placement of Intel SGX-like enclaves that provides provable security against low-level attackers.