:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Liu, Yuxin "Myles", Kulandaivel, Sekar, Sani, Ardalan Amiri, Guajardo, Jorge
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Operating Systems C.5.3; D.4
Online Access:	https://arxiv.org/abs/2605.27804
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
by: Bursey, Joseph, et al.
Published: (2024)

Towards a New Configurable and Practical Remote Automotive Security Testing Platform
by: Kulandaivel, Sekar, et al.
Published: (2024)

Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
by: Kim, Yunseong
Published: (2026)

LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)

Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
by: Raja, Shriram, et al.
Published: (2026)

SJMalloc: the security-conscious, fast, thread-safe and memory-efficient heap allocator
by: Bauroth, Stephan
Published: (2024)

A Comprehensive Quantification of Inconsistencies in Memory Dumps
by: Oliveri, Andrea, et al.
Published: (2025)

Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
by: Heiser, Gernot, et al.
Published: (2025)

RX-INT: A Kernel Engine for Real-Time Detection and Analysis of In-Memory Threats
by: Juneja, Arjun
Published: (2025)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
by: Wollman, Alex, et al.
Published: (2026)

Rhea: Detecting Privilege-Escalated Evasive Ransomware Attacks Using Format-Aware Validation in the Cloud
by: Kim, Beom Heyn, et al.
Published: (2026)

Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
by: Dimobi, Chinecherem
Published: (2026)

Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
by: Zhang, Jing
Published: (2026)

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024)

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
by: Wollman, Alex, et al.
Published: (2024)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)

Laccolith: Hypervisor-Based Adversary Emulation with Anti-Detection
by: Orbinato, Vittorio, et al.
Published: (2023)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
by: Mao, Jinsong, et al.
Published: (2025)

WebAssembly Based Portable and Secure Sensor Interface for Internet of Things
by: Ou, Botong, et al.
Published: (2026)

Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives
by: Son, Daeyeon
Published: (2026)

Breaking the Boundaries of Long-Context LLM Inference: Adaptive KV Management on a Single Commodity GPU
by: Sun, He, et al.
Published: (2025)

A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
by: Condrey, David
Published: (2026)

Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components
by: Sadi, Amir Al, et al.
Published: (2026)

Contextualizing Security and Privacy of Software-Defined Vehicles: A Literature Review and Industry Perspectives
by: De Vincenzi, Marco, et al.
Published: (2024)

Plug. Play. Persist. Inside a Ready-to-Go Havoc C2 Infrastructure
by: Di Santo, Alessio
Published: (2025)

Securing Monolithic Kernels using Compartmentalization
by: Lim, Soo Yee, et al.
Published: (2024)

SoK: Software Compartmentalization
by: Lefeuvre, Hugo, et al.
Published: (2024)

B-Side: Binary-Level Static System Call Identification
by: Thévenon, Gaspard, et al.
Published: (2024)

BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
by: Guo, Yinggang, et al.
Published: (2024)

The Android Platform Security Model (2023)
by: Mayrhofer, René, et al.
Published: (2019)

CAEC: Confidential, Attestable, and Efficient Inter-CVM Communication with Arm CCA
by: Abdollahi, Sina, et al.
Published: (2025)

Case Study: Securing MMU-less Linux Using CHERI
by: Almatary, Hesham, et al.
Published: (2023)

UPSS: a User-centric Private Storage System with its applications
by: Bozorgi, Arastoo, et al.
Published: (2024)

Automatic ISA analysis for Secure Context Switching
by: Kalani, Neelu S., et al.
Published: (2025)

Retrofitting XoM for Stripped Binaries without Embedded Data Relocation
by: Luo, Chenke, et al.
Published: (2024)

To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
by: Asghari, Mohammad Hossein, et al.
Published: (2025)

The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
by: Zhang, Chuqi, et al.
Published: (2024)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
by: Zhou, Jinmeng, et al.
Published: (2024)