Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2403.10296
Cited By
Formal Security Analysis of the AMD SEV-SNP Software Interface
15 March 2024
Petar Paradzik
Ante Derek
Marko Horvat
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Formal Security Analysis of the AMD SEV-SNP Software Interface"
1 / 1 papers shown
Title
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
P. Antonino
Ante Derek
Wojciech Aleksander Wołoszyn
33
4
0
16 May 2023
1
