Image de couverture de livre

SNPGuard: Remote Attestation of SEV-SNP VMs Using Open Source Tools

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wilke, Luca, Scopelliti, Gianluca
Format:	Preprint
Publié:	2024
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

WeSee: Using Malicious #VC Interrupts to Break AMD SEV-SNP
par: Schlüter, Benedict, et autres
Publié: (2024)

Formal Security Analysis of the AMD SEV-SNP Software Interface
par: Paradžik, Petar, et autres
Publié: (2024)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
par: Pott, Claudius, et autres
Publié: (2026)

Lost in the Pages: WebAssembly Code Recovery through SEV-SNP's Exposed Address Space
par: Berthilsson, Markus, et autres
Publié: (2025)

Approaches to Quantum Remote Memory Attestation
par: Laeuchli, Jesse, et autres
Publié: (2025)

Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
par: Zhang, Xiaolin, et autres
Publié: (2024)

On the Design and Security of Collective Remote Attestation Protocols
par: Ahmadi, Sharar, et autres
Publié: (2024)

RA-WEBs: Remote Attestation for WEB services
par: Akama, Kosei, et autres
Publié: (2024)

Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
par: Herrmann, Martin, et autres
Publié: (2026)

TrustMee: Self-Verifying Remote Attestation Evidence
par: Sinaki, Parsa Sadri, et autres
Publié: (2026)

SRAS: Self-governed Remote Attestation Scheme for Multi-party Collaboration
par: Tian, Linan, et autres
Publié: (2024)

Formally-verified Security against Forgery of Remote Attestation using SSProve
par: Zain, Sara, et autres
Publié: (2025)

Devlore: Device Interrupt Protection for Confidential VMs
par: Bertschi, Andrin, et autres
Publié: (2024)

Heckler: Breaking Confidential VMs with Malicious Interrupts
par: Schlüter, Benedict, et autres
Publié: (2024)

TPM-Based Continuous Remote Attestation and Integrity Verification for 5G VNFs on Kubernetes
par: Emran, Al Nahian Bin, et autres
Publié: (2025)

Cabin: Confining Untrusted Programs within Confidential VMs
par: Mei, Benshan, et autres
Publié: (2024)

Ditto: Elastic Confidential VMs with Secure and Dynamic CPU Scaling
par: Zhao, Shixuan, et autres
Publié: (2024)

SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs
par: Zhang, Ruiyi, et autres
Publié: (2025)

Designing Trustworthy Layered Attestations
par: Thomas, Will, et autres
Publié: (2026)

Enabling Trustworthy Federated Learning via Remote Attestation for Mitigating Byzantine Threats
par: Zhang, Chaoyu, et autres
Publié: (2025)

On the Verification of Control Flow Attestation Evidence
par: Caulfield, Adam, et autres
Publié: (2024)

Goldilocks Isolation: High Performance VMs with Edera
par: Moore, Marina, et autres
Publié: (2025)

Evidence Tampering and Chain of Custody in Layered Attestations
par: Kretz, Ian D., et autres
Publié: (2024)

The Road to Trust: Building Enclaves within Confidential VMs
par: Wang, Wenhao, et autres
Publié: (2024)

An Experimental Evaluation of TEE technology Evolution: Benchmarking Transparent Approaches based on SGX, SEV, and TDX
par: Coppolino, Luigi, et autres
Publié: (2024)

SLasH-DSA: Breaking SLH-DSA Using an Extensible End-To-End Rowhammer Framework
par: Boy, Jeremy, et autres
Publié: (2025)

PAL*M: Property Attestation for Large Generative Models
par: Chantasantitam, Prach, et autres
Publié: (2026)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
par: Hasan, Md. Mehedi
Publié: (2025)

TOCTOU Resilient Attestation for IoT Networks (Full Version)
par: Frolikov, Pavel, et autres
Publié: (2025)

ENOLA: Efficient Control-Flow Attestation for Embedded Systems
par: Armanuzzaman, Md, et autres
Publié: (2025)

Bridge the Future: High-Performance Networks in Confidential VMs without Trusted I/O devices
par: Li, Mengyuan, et autres
Publié: (2024)

Control-Flow Attestation: Concepts, Solutions, and Open Challenges
par: Sha, Zhanyu, et autres
Publié: (2024)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
par: Ray, Dustin, et autres
Publié: (2025)

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
par: Kocaoğullar, Ceren, et autres
Publié: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
par: Zou, Guangxian, et autres
Publié: (2025)

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
par: Duddu, Vasisht, et autres
Publié: (2024)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
par: Tyler, Liam, et autres
Publié: (2025)

Red Team Redemption: A Structured Comparison of Open-Source Tools for Adversary Emulation
par: Landauer, Max, et autres
Publié: (2024)

MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
par: Chen, Guoxing, et autres
Publié: (2020)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)