@inproceedings{enclavecontinuity2021,
  title = {Towards Formal Verification of State Continuity for Enclave Programs},
  author = {Jangid, Kumar, Mohit and Chen, Guoxing and Zhang, Yinqian and Lin, Zhiqiang},
  booktitle = {30th USENIX Security Symposium},
  year = {2021},
  url = {https://www.usenix.org/system/files/sec21-jangid.pdf}
}