Cover Image

Reinforcing Secure Live Migration through Verifiable State Management

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Vasileaidis, Stefanos, Giannetsos, Thanassis, Schunter, Matthias, Crispo, Bruno
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hidden Web Caches Discovery
by: Golinelli, Matteo, et al.
Published: (2024)

Security Assessment of Intel TDX with support for Live Migration
by: Swidowski, Kirk, et al.
Published: (2026)

CROSSCON: Cross-platform Open Security Stack for Connected Devices
by: Crispo, Bruno, et al.
Published: (2024)

ConstMig: Enabling Secure Live Migration of Large Intel SGX-based applications
by: Kumar, Sandeep, et al.
Published: (2023)

Verifiable Encodings for Secure Homomorphic Analytics
by: Chatel, Sylvain, et al.
Published: (2022)

Smart Grid Security: A Verified Deep Reinforcement Learning Framework to Counter Cyber-Physical Attacks
by: Maiti, Suman, et al.
Published: (2024)

Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
by: de Sousa, Janislley Oliveira, et al.
Published: (2024)

EmbedFuzz: High Speed Fuzzing Through Transplantation
by: Hofhammer, Florian, et al.
Published: (2024)

The Everyday Security of Living with Conflict
by: McClearn, Jessica, et al.
Published: (2025)

A Formally Verified Lightning Network
by: Fabiański, Grzegorz, et al.
Published: (2025)

A Secure, Confidential, and Verifiable Decision Support System
by: Marangone, Edoardo, et al.
Published: (2025)

SILMARILS: Information-Theoretic and Quantum-Secure Designated-Verifier Signatures
by: Khodaiemehr, Hassan, et al.
Published: (2026)

State of the Art Report: Verified Computation
by: Woodcock, Jim, et al.
Published: (2023)

SoK: What don't we know? Understanding Security Vulnerabilities in SNARKs
by: Chaliasos, Stefanos, et al.
Published: (2024)

Verifiable Quantum Secure Modulo Summation
by: Hayashi, Masahito, et al.
Published: (2019)

Blockchain Verifiable Proof of Quantum Supremacy as a Trigger for Quantum-Secure Signatures
by: Papadopoulos, Nicholas J. C.
Published: (2026)

LaSDVS : A Post-Quantum Secure Compact Strong-Designated Verifier Signature
by: Poddar, Shanu, et al.
Published: (2025)

Registered Attribute-Based Encryption with Publicly Verifiable Certified Deletion, Everlasting Security, and More
by: Murshid, Shayeef, et al.
Published: (2026)

Blockchain Security Risk Assessment in Quantum Era, Migration Strategies and Proactive Defense
by: Baseri, Yaser, et al.
Published: (2025)

CSLE: A Reinforcement Learning Platform for Autonomous Security Management
by: Hammar, Kim
Published: (2026)

Time-Based State-Management of Hash-Based Signature CAs for VPN-Authentication
by: Herzinger, Daniel, et al.
Published: (2025)

The Emperor is Now Clothed: A Secure Governance Framework for Web User Authentication through Password Managers
by: Cherry, Ali, et al.
Published: (2024)

A Post-Quantum Secure End-to-End Verifiable E-Voting Protocol Based on Multivariate Polynomials
by: Srivastava, Vikas, et al.
Published: (2025)

A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies
by: Hasan, Khondokar Fida, et al.
Published: (2023)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
by: Dasu, Vishnu Asutosh, et al.
Published: (2026)

EVA-S3PC: Efficient, Verifiable, Accurate Secure Matrix Multiplication Protocol Assembly and Its Application in Regression
by: Peng, Shizhao, et al.
Published: (2024)

Managing Differentiated Secure Connectivity using Intents
by: Abdelrazek, Loay, et al.
Published: (2025)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
by: Huyghebaert, Sander, et al.
Published: (2023)

Time-Delayed Publicly Verifiable Quantum Computation for Classical Verifiers
by: Mohammed, Ameer, et al.
Published: (2026)

Verifiability and Privacy in Federated Learning through Context-Hiding Multi-Key Homomorphic Authenticators
by: Bottoni, Simone, et al.
Published: (2025)

SecureCodeRL: Security-Aware Reinforcement Learning for Code Generation with Partial-Credit Rewards
by: Sijwali, Suryansh Singh, et al.
Published: (2026)

Towards a Formal Foundation for Blockchain Rollups
by: Chaliasos, Stefanos, et al.
Published: (2024)

Intent-based Security Management Using the TM Forum TR292I Security Ontology
by: Abdelrazek, Loay
Published: (2026)

Blockchain-Enhanced Framework for Secure Third-Party Vendor Risk Management and Vigilant Security Controls
by: Gupta, Deepti, et al.
Published: (2024)

Security and Privacy Management of IoT Using Quantum Computing
by: Sen, Jaydip
Published: (2025)

ESAA-Security: An Event-Sourced, Verifiable Architecture for Agent-Assisted Security Audits of AI-Generated Code
by: Filho, Elzo Brito dos Santos
Published: (2026)

Verifiable Differential Privacy
by: Biswas, Ari, et al.
Published: (2022)

A Reinforcement Learning Framework for Robust and Secure LLM Watermarking
by: An, Li, et al.
Published: (2025)

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin
by: Cosler, Matthias, et al.
Published: (2026)

Beyond the Scope: Security Testing of Permission Management in Team Workspace
by: Wan, Liuhuo, et al.
Published: (2025)