Wojciech Aleksander Woloszyn

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Remote Attestation

Top Venues

Publications

Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves. IEEE Access 11 (2023)
Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves. CoRR (2023)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: symbolic validation of orderliness in SGX enclaves. CoRR (2021)
Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe
Guardian: Symbolic Validation of Orderliness in SGX Enclaves. CCSW@CCS (2021)