proof-carrying topic
List
proof-carrying repositories
Deflection
41
Stars
2
Forks
Watchers
Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance
Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance