Linked Presentation: Time and Order: Towards Automatically Identifying Side-Channel Vulnerabilities in Enclave Binaries
