Biblio

Export 2 results:
Filters: Author is Guoxing Chen  [Clear All Filters]
2022
Chen G, Zhang Y.  2022.  MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties. 31st USENIX Security Symposium (USENIX Security 22). :4095--4110.
2021
Jangid MKumar, Chen G, Zhang Y, Lin Z.  2021.  Towards Formal Verification of State Continuity for Enclave Programs. 30th USENIX Security Symposium (USENIX Security 21). :573--590.