ENCLYZER: Automated Analysis of Transient Data Leaks on Intel SGX. - Jiuqin Zhou; Yuan Xiao 001; Radu Teodorescu; Yinqian Zhang (SEED, 2022)