STELLA: Sparse Taint Analysis for Enclave Leakage Detection. (arXiv:2208.04719v1 [cs.CR])

Intel SGX (Software Guard Extension) is a promising TEE (trusted execution
environment) technique that can protect programs running in user space from
being maliciously accessed by the host operating system. Although it provides
hardware access control and memory encryption, the actual effectiveness also
depends on the quality of the software. In particular, improper implementation
of a code snippet running inside the enclave may still leak private data due to
the invalid use of pointers. This paper serves as a first …

analysis detection enclave