Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1908.11680
Cited By
v1
v2 (latest)
Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation
30 August 2019
Robert Buhren
Christian Werling
Jean-Pierre Seifert
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation"
4 / 4 papers shown
Title
Formal Security Analysis of the AMD SEV-SNP Software Interface
Petar Paradzik
Ante Derek
Marko Horvat
78
1
0
15 Mar 2024
SEVered: Subverting AMD's Virtual Machine Encryption
M. Morbitzer
Manuel Huber
Julian Horsch
Sascha Wessel
34
91
0
24 May 2018
Secure Encrypted Virtualization is Unsecure
Zhao-Hui Du
Zhiwei Ying
Zhenke Ma
Yufei Mai
P. Wang
Jesse Liu
Jesse Fang
45
44
0
14 Dec 2017
Security Analysis of Encrypted Virtual Machines
Felicitas Hetzelt
Robert Buhren
36
73
0
04 Dec 2016
1
