Linked Presentation: CIPHERLEAKS: Breaking Constant-time Cryptography on AMD SEV via the Ciphertext Side ChannelTowards Formal Verification of State Continuity for Enclave Programs
