all InfoSec news
Formal Security Analysis of the AMD SEV-SNP Software Interface
March 18, 2024, 4:10 a.m. | Petar Parad\v{z}ik, Ante Derek, Marko Horvat
cs.CR updates on arXiv.org arxiv.org
Abstract: AMD Secure Encrypted Virtualization technologies enable confidential computing by protecting virtual machines from highly privileged software such as hypervisors. In this work, we develop the first, comprehensive symbolic model of the software interface of the latest SEV iteration called SEV Secure Nested Paging (SEV-SNP). Our model covers remote attestation, key derivation, page swap and live migration. We analyze the security of the software interface of SEV-SNP by verifying critical secrecy, authentication, attestation and freshness properties, …
amd amd sev analysis arxiv called computing confidential confidential computing cs.cr enable encrypted hypervisors interface latest machines nested privileged protecting security security analysis software technologies virtual virtualization virtual machines work
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
CyberSOC Technical Lead
@ Integrity360 | Sandyford, Dublin, Ireland
Cyber Security Strategy Consultant
@ Capco | New York City
Cyber Security Senior Consultant
@ Capco | Chicago, IL
Sr. Product Manager
@ MixMode | Remote, US
Corporate Intern - Information Security (Year Round)
@ Associated Bank | US WI Remote
Senior Offensive Security Engineer
@ CoStar Group | US-DC Washington, DC