Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe 0001. Guardian: Symbolic Validation of Orderliness in SGX Enclaves. In Yinqian Zhang, Marten van Dijk, editors, CCSW@CCS '21: Proceedings of the 2021 on Cloud Computing Security Workshop, Virtual Event, Republic of Korea, 15 November 2021. pages 111-123, ACM, 2021. [doi]
Abstract is missing.