OPERA [CZL19]:
We assume the source code and binaries of all OPERA-provided enclaves can be publicly verified to only perform their specified execution. The design and verification of these enclaves is out of scope.
DECENT [ZA20], …
DCAP [SJBZ18], …
previous
Background
next
Glossary