Ruide Zhang, Ning Zhang, Assad Moini, Wenjing Lou, Y. Thomas Hou: PrivacyScope: Automatic Analysis of Private Data Leakage in TEE-Protected Applications. ICDCS 2020: 34-44