A Survey of Operating System Kernel Fuzzing
Fuente:
arXiv
Saved in:
| Main Authors: | Xu, Jiacheng, Sun, He, Jiang, Shihao, Wang, Qinying, Zhang, Mingming, Li, Xiang, Shen, Kaiwen, Cheng, Peng, Chen, Jiming, Zhang, Charles, Ji, Shouling |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
A Survey of Fuzzing Open-Source Operating Systems
by: Hu, Kun, et al.
Published: (2025)
by: Hu, Kun, et al.
Published: (2025)
SyzParam: Introducing Runtime Parameters into Kernel Driver Fuzzing
by: Sun, Yue, et al.
Published: (2025)
by: Sun, Yue, et al.
Published: (2025)
NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
by: Ishii, Reima, et al.
Published: (2025)
by: Ishii, Reima, et al.
Published: (2025)
MOAT: Towards Safe BPF Kernel Extension
by: Lu, Hongyi, et al.
Published: (2023)
by: Lu, Hongyi, et al.
Published: (2023)
Security, extensibility, and redundancy in the Metabolic Operating System
by: King, Samuel T.
Published: (2023)
by: King, Samuel T.
Published: (2023)
Blindfold: Confidential Memory Management by Untrusted Operating System
by: Li, Caihua, et al.
Published: (2024)
by: Li, Caihua, et al.
Published: (2024)
Securing Monolithic Kernels using Compartmentalization
by: Lim, Soo Yee, et al.
Published: (2024)
by: Lim, Soo Yee, et al.
Published: (2024)
BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
by: Guo, Yinggang, et al.
Published: (2024)
by: Guo, Yinggang, et al.
Published: (2024)
SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions
by: Lim, Soo Yee, et al.
Published: (2024)
by: Lim, Soo Yee, et al.
Published: (2024)
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
by: Beadle, Alan, et al.
Published: (2025)
by: Beadle, Alan, 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)
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)
by: Zhou, Jinmeng, et al.
Published: (2024)
Retrofitting XoM for Stripped Binaries without Embedded Data Relocation
by: Luo, Chenke, et al.
Published: (2024)
by: Luo, Chenke, et al.
Published: (2024)
Securing Cloud File Systems with Trusted Execution
by: Burke, Quinn, et al.
Published: (2023)
by: Burke, Quinn, et al.
Published: (2023)
Selective KV-Cache Sharing to Mitigate Timing Side-Channels in LLM Inference
by: Chu, Kexin, et al.
Published: (2025)
by: Chu, Kexin, et al.
Published: (2025)
Sync+Sync: A Covert Channel Built on fsync with Storage
by: Jiang, Qisheng, et al.
Published: (2023)
by: Jiang, Qisheng, et al.
Published: (2023)
B-Side: Binary-Level Static System Call Identification
by: Thévenon, Gaspard, et al.
Published: (2024)
by: Thévenon, Gaspard, et al.
Published: (2024)
UPSS: a User-centric Private Storage System with its applications
by: Bozorgi, Arastoo, et al.
Published: (2024)
by: Bozorgi, Arastoo, et al.
Published: (2024)
Physical Memory Attacks and a Memory Safe Management System for Memory Defense
by: Hillel-Tuch, Alon, et al.
Published: (2024)
by: Hillel-Tuch, Alon, et al.
Published: (2024)
Fight Hardware with Hardware: System-wide Detection and Mitigation of Side-Channel Attacks using Performance Counters
by: Carnà, Stefano, et al.
Published: (2024)
by: Carnà, Stefano, et al.
Published: (2024)
G-Fuzz: A Directed Fuzzing Framework for gVisor
by: Li, Yuwei, et al.
Published: (2024)
by: Li, Yuwei, et al.
Published: (2024)
When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization
by: Wang, Zicheng, et al.
Published: (2024)
by: Wang, Zicheng, et al.
Published: (2024)
PerOS: Personalized Self-Adapting Operating Systems in the Cloud
by: Hè, Hongyu
Published: (2024)
by: Hè, Hongyu
Published: (2024)
ZeroOS: A Universal Modular Library OS for zkVMs
by: Zou, Guangxian, et al.
Published: (2025)
by: Zou, Guangxian, et al.
Published: (2025)
Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves
by: Dhanraj, Vijay, et al.
Published: (2025)
by: Dhanraj, Vijay, et al.
Published: (2025)
Governed MCP: Kernel-Level Tool Governance for AI Agents via Logit-Based Safety Primitives
by: Son, Daeyeon
Published: (2026)
by: Son, Daeyeon
Published: (2026)
Weaver: Fuzzing JavaScript Engines at the JavaScript-WebAssembly Boundary
by: Zhang, Lingming, et al.
Published: (2026)
by: Zhang, Lingming, et al.
Published: (2026)
Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
by: Srinivasan, Naveen, et al.
Published: (2025)
by: Srinivasan, Naveen, et al.
Published: (2025)
Sharing is caring: Attestable and Trusted Workflows out of Distrustful Components
by: Sadi, Amir Al, et al.
Published: (2026)
by: Sadi, Amir Al, et al.
Published: (2026)
Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
by: Mao, Jinsong, et al.
Published: (2025)
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)
by: Ou, Botong, 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)
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)
by: Di Santo, Alessio
Published: (2025)
SoK: Software Compartmentalization
by: Lefeuvre, Hugo, et al.
Published: (2024)
by: Lefeuvre, Hugo, et al.
Published: (2024)
The Android Platform Security Model (2023)
by: Mayrhofer, René, et al.
Published: (2019)
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)
by: Abdollahi, Sina, et al.
Published: (2025)
Case Study: Securing MMU-less Linux Using CHERI
by: Almatary, Hesham, et al.
Published: (2023)
by: Almatary, Hesham, et al.
Published: (2023)
Automatic ISA analysis for Secure Context Switching
by: Kalani, Neelu S., et al.
Published: (2025)
by: Kalani, Neelu S., et al.
Published: (2025)
To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
by: Asghari, Mohammad Hossein, et al.
Published: (2025)
by: Asghari, Mohammad Hossein, et al.
Published: (2025)
CRISP: Confidentiality, Rollback, and Integrity Storage Protection for Confidential Cloud-Native Computing
by: Hartono, Ardhi Putra Pratama, et al.
Published: (2024)
by: Hartono, Ardhi Putra Pratama, et al.
Published: (2024)
Similar Items
-
A Survey of Fuzzing Open-Source Operating Systems
by: Hu, Kun, et al.
Published: (2025) -
SyzParam: Introducing Runtime Parameters into Kernel Driver Fuzzing
by: Sun, Yue, et al.
Published: (2025) -
NecoFuzz: Effective Fuzzing of Nested Virtualization via Fuzz-Harness Virtual Machines
by: Ishii, Reima, et al.
Published: (2025) -
MOAT: Towards Safe BPF Kernel Extension
by: Lu, Hongyi, et al.
Published: (2023) -
Security, extensibility, and redundancy in the Metabolic Operating System
by: King, Samuel T.
Published: (2023)