1 citations · 1 across the 2 of their papers we have counts for
2 papers
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.SE2022★ 1 cited
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Pedro Antonino, Augusto Sampaio, Jim Woodcock
Local analysis has long been recognised as an effective tool to combat the state-space explosion problem. In this work, we propose a method that systematises the use of local analy…