Copertina

Formal Security Analysis of the AMD SEV-SNP Software Interface

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Paradžik, Petar, Derek, Ante, Horvat, Marko
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools
di: Wilke, Luca, et al.
Pubblicazione: (2024)

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

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

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

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

Asymmetric Mempool DoS Security: Formal Definitions and Provable Secure Designs
di: Ding, Wanning, et al.
Pubblicazione: (2024)

Empirical Security Analysis of Software-based Fault Isolation through Controlled Fault Injection
di: Bars, Nils, et al.
Pubblicazione: (2025)

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

SLIP-SEC: Formalizing Secure Protocols for Model IP Protection
di: Jain, Racchit, et al.
Pubblicazione: (2025)

Formally-verified Security against Forgery of Remote Attestation using SSProve
di: Zain, Sara, et al.
Pubblicazione: (2025)

Establishing a Baseline of Software Supply Chain Security Task Adoption by Software Organizations
di: Williams, Laurie, et al.
Pubblicazione: (2025)

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

Software Unclonable Functions for IoT Devices Identification and Security
di: Alshehhi, Saeed
Pubblicazione: (2025)

An Empirical Study on Virtual Reality Software Security Weaknesses
di: Xu, Yifan, et al.
Pubblicazione: (2025)

Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
di: Haque, Md Wasiul, et al.
Pubblicazione: (2025)

SoK: Analysis of Software Supply Chain Security by Establishing Secure Design Properties
di: Okafor, Chinenye, et al.
Pubblicazione: (2024)

Formal Verification of Secure Encrypted Virtualization
di: Weerasena, Hansika, et al.
Pubblicazione: (2026)

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

The Hidden Dangers of Outdated Software: A Cyber Security Perspective
di: Thiyagarajan, Gogulakrishnan, et al.
Pubblicazione: (2025)

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution
di: Dorfmeister, Daniel, et al.
Pubblicazione: (2026)

Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
di: Figge, Julius, et al.
Pubblicazione: (2026)

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

Advancing Security in Software-Defined Vehicles: A Comprehensive Survey and Taxonomy
di: Sghaier, Khaoula, et al.
Pubblicazione: (2025)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

A Framework for Formalizing LLM Agent Security
di: Siu, Vincent, et al.
Pubblicazione: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
di: Modesti, Paolo, et al.
Pubblicazione: (2021)

Evaluating Software Supply Chain Security in Research Software
di: Hegewald, Richard, et al.
Pubblicazione: (2025)

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

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
di: Schmid, Larissa, et al.
Pubblicazione: (2026)

An Introduction to Adaptive Software Security
di: Nia, Mehran Alidoost
Pubblicazione: (2023)

SoK: A Defense-Oriented Evaluation of Software Supply Chain Security
di: Ishgair, Eman Abu, et al.
Pubblicazione: (2024)

Open Source, Open Threats? Investigating Security Challenges in Open-Source Software
di: Akhavani, Seyed Ali, et al.
Pubblicazione: (2025)

Towards Secure and Efficient DNN Accelerators via Hardware-Software Co-Design
di: Xuan, Wei, et al.
Pubblicazione: (2026)

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

Automated Formal Verification of a Software Fault Isolation System
di: Sotoudeh, Matthew, et al.
Pubblicazione: (2025)

Large Language Model (LLM) for Software Security: Code Analysis, Malware Analysis, Reverse Engineering
di: Jelodar, Hamed, et al.
Pubblicazione: (2025)

Security Audit of intel ICE Driver for e810 Network Interface Card
di: Sullivan, Oisin O
Pubblicazione: (2025)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

Towards a Formal Verification of Secure Vehicle Software Updates
di: Hagen, Martin Slind, et al.
Pubblicazione: (2025)