Yinqian Zhang, Southern University of Science and Technology

Linked Presentation:

CIPHERLEAKS: Breaking Constant-time Cryptography on AMD SEV via the Ciphertext Side Channel

Towards Formal Verification of State Continuity for Enclave Programs