Buchumschlag

Formal Security Analysis of the AMD SEV-SNP Software Interface

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Paradžik, Petar, Derek, Ante, Horvat, Marko
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP
von: Schlüter, Benedict, et al.
Veröffentlicht: (2024)

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
von: Wilke, Luca, et al.
Veröffentlicht: (2024)

Lost in the Pages: WebAssembly Code Recovery through SEV-SNP's Exposed Address Space
von: Berthilsson, Markus, et al.
Veröffentlicht: (2025)

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
von: Hartl, Zvonimir, et al.
Veröffentlicht: (2024)

An Experimental Evaluation of TEE technology Evolution: Benchmarking Transparent Approaches based on SGX, SEV, and TDX
von: Coppolino, Luigi, et al.
Veröffentlicht: (2024)

Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network
von: Weintraub, Ben, et al.
Veröffentlicht: (2024)

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
von: Ding, Wanning, et al.
Veröffentlicht: (2024)

Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection
von: Bars, Nils, et al.
Veröffentlicht: (2025)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
von: Antón, Anna Lena Duque, et al.
Veröffentlicht: (2024)

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
von: Jain, Racchit, et al.
Veröffentlicht: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
von: Zain, Sara, et al.
Veröffentlicht: (2025)

Establishing a Baseline of Software Supply Chain Security Task Adoption by Software Organizations
von: Williams, Laurie, et al.
Veröffentlicht: (2025)

Enhancing Software Supply Chain Resilience: Strategy For Mitigating Software Supply Chain Security Risks And Ensuring Security Continuity In Development Lifecycle
von: Akinsola, Ahmed, et al.
Veröffentlicht: (2024)

Software Unclonable Functions for IoT Devices Identification and Security
von: Alshehhi, Saeed
Veröffentlicht: (2025)

An Empirical Study on Virtual Reality Software Security Weaknesses
von: Xu, Yifan, et al.
Veröffentlicht: (2025)

Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
von: Haque, Md Wasiul, et al.
Veröffentlicht: (2025)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
von: Okafor, Chinenye, et al.
Veröffentlicht: (2024)

Formal Verification of Secure Encrypted Virtualization
von: Weerasena, Hansika, et al.
Veröffentlicht: (2026)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
von: Böhme, Marcel, et al.
Veröffentlicht: (2024)

The Hidden Dangers of Outdated Software: A Cyber Security Perspective
von: Thiyagarajan, Gogulakrishnan, et al.
Veröffentlicht: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
von: Dorfmeister, Daniel, et al.
Veröffentlicht: (2026)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
von: Figge, Julius, et al.
Veröffentlicht: (2026)

The Elephant in the Room: Software and Hardware Security Vulnerabilities of Portable Sequencing Devices
von: Stillman, Carson, et al.
Veröffentlicht: (2024)

Advancing Security in Software-Defined Vehicles: A Comprehensive Survey and Taxonomy
von: Sghaier, Khaoula, et al.
Veröffentlicht: (2025)

Formalizing Stack Safety as a Security Property
von: Anderson, Sean Noble, et al.
Veröffentlicht: (2021)

A Framework for Formalizing LLM Agent Security
von: Siu, Vincent, et al.
Veröffentlicht: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
von: Modesti, Paolo, et al.
Veröffentlicht: (2021)

Evaluating Software Supply Chain Security in Research Software
von: Hegewald, Richard, et al.
Veröffentlicht: (2025)

A Formal Model of Security Controls' Capabilities and Its Applications to Policy Refinement and Incident Management
von: Basile, Cataldo, et al.
Veröffentlicht: (2024)

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
von: Schmid, Larissa, et al.
Veröffentlicht: (2026)

An Introduction to Adaptive Software Security
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)

SoK: A Defense-Oriented Evaluation of Software Supply Chain Security
von: Ishgair, Eman Abu, et al.
Veröffentlicht: (2024)

Open Source, Open Threats? Investigating Security Challenges in Open-Source Software
von: Akhavani, Seyed Ali, et al.
Veröffentlicht: (2025)

Towards Secure and Efficient DNN Accelerators via Hardware-Software Co-Design
von: Xuan, Wei, et al.
Veröffentlicht: (2026)

On Securing the Software Development Lifecycle in IoT RISC-V Trusted Execution Environments
von: Wilde, Annika, et al.
Veröffentlicht: (2026)

Automated Formal Verification of a Software Fault Isolation System
von: Sotoudeh, Matthew, et al.
Veröffentlicht: (2025)

Large Language Model (LLM) for Software Security: Code Analysis, Malware Analysis, Reverse Engineering
von: Jelodar, Hamed, et al.
Veröffentlicht: (2025)

Security Audit of intel ICE Driver for e810 Network Interface Card
von: Sullivan, Oisin O
Veröffentlicht: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

Towards a Formal Verification of Secure Vehicle Software Updates
von: Hagen, Martin Slind, et al.
Veröffentlicht: (2025)