Wojciech Aleksander Wołoszyn | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

A. W. Roscoe
8 publications
Pedro Antonino
6 publications
Ante Đerek
2 publications

research

∙ 05/16/2023

Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves

We propose a protocol that explores a synergy between two TEE implementa...

0 Pedro Antonino, et al. ∙

research

∙ 05/12/2021

Guardian: symbolic validation of orderliness in SGX enclaves

Modern processors can offer hardware primitives that allow a process to ...

0 Pedro Antonino, et al. ∙