Mohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, Zhiqiang Lin. Towards Formal Verification of State Continuity for Enclave Programs. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 573-590, USENIX Association, 2021. [doi]
Abstract is missing.