Enclave-Based Secure Programming with JE - Oak, Aditya; Ahmadian, Amir M.; Balliu, Musard; Salvaneschi, Guido (2021 IEEE Secure Development Conference (SecDev), Secure Development Conference (SecDev), 2021 IEEE, SECDEV, 2021)