Related Work
============

`OPERA`_ :cite:`opera`:

    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`_ :cite:`decent`, ...

`DCAP`_ :cite:`scarlata2018supporting`, ...




.. _dcap: https://github.com/intel/SGXDataCenterAttestationPrimitives
.. _decent: https://github.com/zhenghaven/decent-ra-api
.. _opera: https://dl.acm.org/doi/10.1145/3319535.3354220