#

proof-carrying

Here is 1 public repository matching this topic...

StanPlatinum / Deflection

Practical and Efficient in-TEE Verification of Privacy Compliance

llvm sgx-enclave intel-sgx tcb data-capsule proof-carrying tee-container

Updated Jan 10, 2025
C

Improve this page

Add a description, image, and links to the proof-carrying 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 proof-carrying topic, visit your repo's landing page and select "manage topics."