4 citations · 5 across the 10 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
Pedro Antonino, Ante Derek, Wojciech Aleksander Wołoszyn
We propose a protocol that explores a synergy between two TEE implementations: it brings SGX-like remote attestation to SEV VMs. We use the notion of a \emph{trusted guest owner},…
cs.CR2021
Guardian: symbolic validation of orderliness in SGX enclaves
Pedro Antonino, Wojciech Aleksander Wołoszyn, A. W. Roscoe
Modern processors can offer hardware primitives that allow a process to run in isolation. These primitives implement a trusted execution environment (TEE) in which a program can ru…