Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
Fuente:
arXiv
Saved in:
| Main Authors: | Kim, Hyunwoo, Lee, Jaeseong, Hong, Sunpyo, Han, Changmin |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)
by: Li, Xiaoqi, et al.
Published: (2026)
Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
by: Yang, Haowei
Published: (2024)
by: Yang, Haowei
Published: (2024)
Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)
by: Kadaboina, Ravi Kiran
Published: (2026)
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)
by: Garcia, Rémi, et al.
Published: (2024)
HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
by: Dalugoda, Asiri
Published: (2026)
by: Dalugoda, Asiri
Published: (2026)
From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
by: Caldarelli, Giulio
Published: (2026)
by: Caldarelli, Giulio
Published: (2026)
C8s: A Confidential Kubernetes Architecture
by: Asad, Amean, et al.
Published: (2026)
by: Asad, Amean, et al.
Published: (2026)
Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
by: Yang, Dongxu
Published: (2026)
by: Yang, Dongxu
Published: (2026)
The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
by: Churilov, Aleksandr
Published: (2026)
by: Churilov, Aleksandr
Published: (2026)
Privacy-Aware Split Inference with Speculative Decoding for Large Language Models over Wide-Area Networks
by: Cunningham, Michael
Published: (2026)
by: Cunningham, Michael
Published: (2026)
HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning[Technical Report]
by: Zhong, Hongbin, et al.
Published: (2025)
by: Zhong, Hongbin, et al.
Published: (2025)
Secure IAM on AWS with Multi-Account Strategy
by: Yi, Sungchan
Published: (2025)
by: Yi, Sungchan
Published: (2025)
Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)
by: Macedo, Nuno, et al.
Published: (2025)
Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)
by: Zhao, Junming, et al.
Published: (2025)
Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)
by: Wu, Jixuan, et al.
Published: (2025)
Security-enhanced Blockchain with Twin-Field Quantum Key Distribution: A Physical Layer enabled Architecture
by: Li, Xuan, et al.
Published: (2026)
by: Li, Xuan, et al.
Published: (2026)
A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
by: Yang, Yuhuan, et al.
Published: (2025)
by: Yang, Yuhuan, et al.
Published: (2025)
Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
by: Iasenovets, Artur, et al.
Published: (2025)
by: Iasenovets, Artur, et al.
Published: (2025)
A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
by: Wollman, Alex, et al.
Published: (2024)
by: Wollman, Alex, et al.
Published: (2024)
Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems
by: Fatmi, Amjad
Published: (2026)
by: Fatmi, Amjad
Published: (2026)
Owner-Harm: A Missing Threat Model for AI Agent Safety
by: Zhang, Dongcheng, et al.
Published: (2026)
by: Zhang, Dongcheng, et al.
Published: (2026)
HashKitty: Distributed Password Analysis
by: Antunes, Pedro, et al.
Published: (2025)
by: Antunes, Pedro, et al.
Published: (2025)
ARM MTE Performance in Practice (Extended Version)
by: Noh, Taehyun, et al.
Published: (2026)
by: Noh, Taehyun, et al.
Published: (2026)
SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
by: Mitra, Joydeep, et al.
Published: (2020)
by: Mitra, Joydeep, et al.
Published: (2020)
Toward Automated Hypervisor Scenario Generation Based on VM Workload Profiling for Resource-Constrained Environments
by: Kim, Hyunwoo, et al.
Published: (2025)
by: Kim, Hyunwoo, et al.
Published: (2025)
A Comprehensive Quantification of Inconsistencies in Memory Dumps
by: Oliveri, Andrea, et al.
Published: (2025)
by: Oliveri, Andrea, et al.
Published: (2025)
Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
by: Marri, Srinivas Rao
Published: (2026)
by: Marri, Srinivas Rao
Published: (2026)
Walma: Learning to See Memory Corruption in WebAssembly
by: Draissi, Oussama, et al.
Published: (2026)
by: Draissi, Oussama, et al.
Published: (2026)
Decentralized COVID-19 Health System Leveraging Blockchain
by: Chen, Lingsheng, et al.
Published: (2025)
by: Chen, Lingsheng, et al.
Published: (2025)
VIC: Evasive Video Game Cheating via Virtual Machine Introspection
by: Karkallis, Panicos, et al.
Published: (2025)
by: Karkallis, Panicos, et al.
Published: (2025)
SETC: A Vulnerability Telemetry Collection Framework
by: Holeman, Ryan, et al.
Published: (2024)
by: Holeman, Ryan, et al.
Published: (2024)
Security Considerations for Multi-agent Systems
by: Nguyen, Tam, et al.
Published: (2026)
by: Nguyen, Tam, et al.
Published: (2026)
From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
by: Afifi, Tamer, et al.
Published: (2026)
by: Afifi, Tamer, et al.
Published: (2026)
FIPS 204-Compatible Threshold ML-DSA via Shamir Nonce DKG
by: Kao, Leo
Published: (2026)
by: Kao, Leo
Published: (2026)
Cross-Border Data Security and Privacy Risks in Large Language Models and IoT Systems
by: Handapangoda, Chalitha
Published: (2026)
by: Handapangoda, Chalitha
Published: (2026)
4-Swap: Achieving Grief-Free and Bribery-Safe Atomic Swaps Using Four Transactions
by: Singh, Kirti, et al.
Published: (2025)
by: Singh, Kirti, et al.
Published: (2025)
Evasion Under Blockchain Sanctions
by: Liu, Endong, et al.
Published: (2025)
by: Liu, Endong, et al.
Published: (2025)
AI-Driven Security Alert Screening and Alert Fatigue Mitigation in Security Operations Centers: A Survey
by: Ndichu, Samuel, et al.
Published: (2026)
by: Ndichu, Samuel, et al.
Published: (2026)
Paths Not Taken: A Secure Computing Tutorial
by: Boebert, William Earl
Published: (2025)
by: Boebert, William Earl
Published: (2025)
Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
by: Kim, Yunseong
Published: (2026)
by: Kim, Yunseong
Published: (2026)
Similar Items
-
PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026) -
Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
by: Yang, Haowei
Published: (2024) -
Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026) -
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024) -
HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
by: Dalugoda, Asiri
Published: (2026)