Jiuqin Zhou, Yuan Xiao, Radu Teodorescu, Yinqian Zhang. ENCLYZER: Automated Analysis of Transient Data Leaks on Intel SGX. In 2022 IEEE International Symposium on Secure and Private Execution Environment Design (SEED), Storrs, CT, USA, September 26-27, 2022. pages 145-156, IEEE, 2022. [doi]
Abstract is missing.