Imagen de Portada

Formally-verified Security against Forgery of Remote Attestation using SSProve

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Zain, Sara, Mähn, Jannik, Köpsell, Stefan, Ertel, Sebastian
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the Design and Security of Collective Remote Attestation Protocols
por: Ahmadi, Sharar, et al.
Publicado: (2024)

Information Inference Diagrams: Complementing Privacy and Security Analyses Beyond Data Flows
por: Rehms, Sebastian, et al.
Publicado: (2024)

Approaches to Quantum Remote Memory Attestation
por: Laeuchli, Jesse, et al.
Publicado: (2025)

RA-WEBs: Remote Attestation for WEB services
por: Akama, Kosei, et al.
Publicado: (2024)

Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
por: Herrmann, Martin, et al.
Publicado: (2026)

TrustMee: Self-Verifying Remote Attestation Evidence
por: Sinaki, Parsa Sadri, et al.
Publicado: (2026)

SRAS: Self-governed Remote Attestation Scheme for Multi-party Collaboration
por: Tian, Linan, et al.
Publicado: (2024)

PACCOR4ESP: Embedded Device Security Attestation using Platform Attribute Certificates
por: Grübl, Thomas, et al.
Publicado: (2024)

Securing Federated Learning with Control-Flow Attestation: A Novel Framework for Enhanced Integrity and Resilience against Adversarial Attacks
por: Alsulaimawi, Zahir
Publicado: (2024)

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

Teamwork Makes TEE Work: Open and Resilient Remote Attestation on Decentralized Trust
por: Zhang, Xiaolin, et al.
Publicado: (2024)

mopri - An Analysis Framework for Unveiling Privacy Violations in Mobile Apps
por: Ziepel, Cornell, et al.
Publicado: (2026)

TPM-Based Continuous Remote Attestation and Integrity Verification for 5G VNFs on Kubernetes
por: Emran, Al Nahian Bin, et al.
Publicado: (2025)

Privacy-Preserving Identifier Checking in 5G
por: Gräfenstein, Marcel D. S. K., et al.
Publicado: (2025)

Designing Trustworthy Layered Attestations
por: Thomas, Will, et al.
Publicado: (2026)

Enabling Trustworthy Federated Learning via Remote Attestation for Mitigating Byzantine Threats
por: Zhang, Chaoyu, et al.
Publicado: (2025)

On the Verification of Control Flow Attestation Evidence
por: Caulfield, Adam, et al.
Publicado: (2024)

Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations
por: Duddu, Vasisht, et al.
Publicado: (2024)

Evidence Tampering and Chain of Custody in Layered Attestations
por: Kretz, Ian D., et al.
Publicado: (2024)

FAARM: Firmware Attestation and Authentication Framework for Mali GPUs
por: Hasan, Md. Mehedi
Publicado: (2025)

TOCTOU Resilient Attestation for IoT Networks (Full Version)
por: Frolikov, Pavel, et al.
Publicado: (2025)

ENOLA: Efficient Control-Flow Attestation for Embedded Systems
por: Armanuzzaman, Md, et al.
Publicado: (2025)

PAL*M: Property Attestation for Large Generative Models
por: Chantasantitam, Prach, et al.
Publicado: (2026)

Swarm-Net: Firmware Attestation in IoT Swarms using Graph Neural Networks and Volatile Memory
por: Kohli, Varun, et al.
Publicado: (2024)

Conceptualizing Trustworthiness and Trust in Communications
por: Fettweis, Gerhard P., et al.
Publicado: (2024)

Computational Attestations of Polynomial Integrity Towards Verifiable Machine-Learning
por: Ray, Dustin, et al.
Publicado: (2025)

Careful Whisper: Attestation for peer-to-peer Confidential Computing networks
por: Kocaoğullar, Ceren, et al.
Publicado: (2025)

HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation
por: Pott, Claudius, et al.
Publicado: (2026)

Efficient Control Flow Attestation by Speculating on Control Flow Path Representations
por: Tyler, Liam, et al.
Publicado: (2025)

Security Analysis of Universal Circuits as a Mechanism for Hardware Obfuscation
por: Abideen, Zain Ul, et al.
Publicado: (2026)

MAGE: Mutual Attestation for a Group of Enclaves without Trusted Third Parties
por: Chen, Guoxing, et al.
Publicado: (2020)

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

MADEA: A Malware Detection Architecture for IoT blending Network Monitoring and Device Attestation
por: Prapty, Renascence Tarafder, et al.
Publicado: (2025)

Composable Attestation: A Generalized Framework for Continuous and Incremental Trust in AI-Driven Distributed Systems
por: Sun, Sheng, et al.
Publicado: (2026)

Adaptive Exploit Generation against Security Devices and Security APIs
por: Künnemann, Robert, et al.
Publicado: (2024)

A Technique for the Detection of PDF Tampering or Forgery
por: Grobler, Gabriel, et al.
Publicado: (2025)

Larger-scale Nakamoto-style Blockchains Don't Necessarily Offer Better Security
por: Albrecht, Jannik, et al.
Publicado: (2024)

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

Formal Security Analysis of the AMD SEV-SNP Software Interface
por: Paradžik, Petar, et al.
Publicado: (2024)

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