Guardian: Symbolic Validation of Orderliness in SGX Enclaves. - Pedro Antonino; Wojciech Aleksander Woloszyn; A. W. Roscoe 001 (CCSW, 2021)

Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves. - Pedro Antonino; Ante Derek; Wojciech Aleksander Woloszyn (IEEE Access, 2023)