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
EY- GDS- Cybersecurity- Staff
@ EY | Miguel Hidalgo, MX, 11520
Staff Security Operations Engineer
@ Workiva | Ames
Public Relations Senior Account Executive (B2B Tech/Cybersecurity/Enterprise)
@ Highwire Public Relations | Los Angeles, CA
Airbus Canada - Responsable Cyber sécurité produit / Product Cyber Security Responsible
@ Airbus | Mirabel
Investigations (OSINT) Manager
@ Logically | India
Security Engineer I, Offensive Security Penetration Testing
@ Amazon.com | US, NY, Virtual Location - New York