Beyond Edge Coverage: Per-Task Data-Flow Extraction at Kernel Function Boundaries via LLVM
Fuente:
arXiv
Saved in:
| Main Author: | Kim, Yunseong |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024)
by: Gerhorst, Luis, et al.
Published: (2024)
LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025)
Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
by: Raja, Shriram, et al.
Published: (2026)
by: Raja, Shriram, et al.
Published: (2026)
A Comprehensive Quantification of Inconsistencies in Memory Dumps
by: Oliveri, Andrea, et al.
Published: (2025)
by: Oliveri, Andrea, et al.
Published: (2025)
A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)
by: Chowdhury, Rajarshi, et al.
Published: (2026)
RX-INT: A Kernel Engine for Real-Time Detection and Analysis of In-Memory Threats
by: Juneja, Arjun
Published: (2025)
by: Juneja, Arjun
Published: (2025)
Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
by: Wollman, Alex, et al.
Published: (2026)
by: Wollman, Alex, et al.
Published: (2026)
Right to History: A Sovereignty Kernel for Verifiable AI Agent Execution
by: Zhang, Jing
Published: (2026)
by: Zhang, Jing
Published: (2026)
Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
by: Dimobi, Chinecherem
Published: (2026)
by: Dimobi, Chinecherem
Published: (2026)
Rhea: Detecting Privilege-Escalated Evasive Ransomware Attacks Using Format-Aware Validation in the Cloud
by: Kim, Beom Heyn, et al.
Published: (2026)
by: Kim, Beom Heyn, et al.
Published: (2026)
Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)
by: Zhao, Junming, et al.
Published: (2025)
Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)
by: Mostovyi, Oleksandr
Published: (2026)
Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)
by: Ackermann, Eric, et al.
Published: (2026)
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)
LibLMFuzz: LLM-Augmented Fuzz Target Generation for Black-box Libraries
by: Hardgrove, Ian, et al.
Published: (2025)
by: Hardgrove, Ian, et al.
Published: (2025)
A TEE-Based Architecture for Confidential and Dependable Process Attestation in Authorship Verification
by: Condrey, David
Published: (2026)
by: Condrey, David
Published: (2026)
CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
by: Eom, Jueon, et al.
Published: (2024)
by: Eom, Jueon, et al.
Published: (2024)
Static Attribution of Android Residential Proxy Malware Using Graph Kernels
by: Clark, Peter, et al.
Published: (2026)
by: Clark, Peter, et al.
Published: (2026)
ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
by: Long, Yan, et al.
Published: (2025)
by: Long, Yan, et al.
Published: (2025)
Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
by: Ali, Hala, et al.
Published: (2026)
by: Ali, Hala, et al.
Published: (2026)
The Discovery, Disclosure, and Investigation of CVE-2024-25825
by: Chasens, Hunter
Published: (2025)
by: Chasens, Hunter
Published: (2025)
Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
by: Nayak, Prabhudarshi, et al.
Published: (2026)
by: Nayak, Prabhudarshi, et al.
Published: (2026)
Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions
by: Akanji, Olawale Amos, et al.
Published: (2026)
by: Akanji, Olawale Amos, et al.
Published: (2026)
Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
by: Zhou, Ming, et al.
Published: (2025)
by: Zhou, Ming, et al.
Published: (2025)
vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)
by: Song, Qiyang, et al.
Published: (2026)
User-space library rootkits revisited: Are user-space detection mechanisms futile?
by: Soriano-Salvador, Enrique, et al.
Published: (2025)
by: Soriano-Salvador, Enrique, et al.
Published: (2025)
Paths Not Taken: A Secure Computing Tutorial
by: Boebert, William Earl
Published: (2025)
by: Boebert, William Earl
Published: (2025)
RADEP: A Resilient Adaptive Defense Framework Against Model Extraction Attacks
by: Chakraborty, Amit, et al.
Published: (2025)
by: Chakraborty, Amit, 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)
Privacy-Enhancing Encryption in Data Sharing: A Survey on Security, Performance and Functionality
by: Lv, Yongyang, et al.
Published: (2026)
by: Lv, Yongyang, et al.
Published: (2026)
Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-preserving Transformations
by: Uhm, Jiyong, et al.
Published: (2026)
by: Uhm, Jiyong, et al.
Published: (2026)
Orion: Fuzzing Workflow Automation
by: Bazalii, Max, et al.
Published: (2025)
by: Bazalii, Max, et al.
Published: (2025)
ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
by: Koc, Vincent, et al.
Published: (2026)
by: Koc, Vincent, et al.
Published: (2026)
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)
Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
by: Kim, Hyunwoo, et al.
Published: (2025)
by: Kim, Hyunwoo, et al.
Published: (2025)
ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
by: Amusuo, Paschal C., et al.
Published: (2023)
by: Amusuo, Paschal C., et al.
Published: (2023)
Secure IAM on AWS with Multi-Account Strategy
by: Yi, Sungchan
Published: (2025)
by: Yi, Sungchan
Published: (2025)
Decentralized COVID-19 Health System Leveraging Blockchain
by: Chen, Lingsheng, et al.
Published: (2025)
by: Chen, Lingsheng, et al.
Published: (2025)
SETC: A Vulnerability Telemetry Collection Framework
by: Holeman, Ryan, et al.
Published: (2024)
by: Holeman, Ryan, et al.
Published: (2024)
Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers
by: Liu, Yuxin "Myles", et al.
Published: (2026)
by: Liu, Yuxin "Myles", et al.
Published: (2026)
Similar Items
-
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024) -
LEMIX: Enabling Testing of Embedded Applications as Linux Applications (Extended Report)
by: Tanksalkar, Sai Ritvik, et al.
Published: (2025) -
Pomegranate: A Lightweight Compartmentalization Architecture using Virtualization Extensions
by: Raja, Shriram, et al.
Published: (2026) -
A Comprehensive Quantification of Inconsistencies in Memory Dumps
by: Oliveri, Andrea, et al.
Published: (2025) -
A Secure, Manifest-Based Framework for Delegated Privilege Promotion
by: Chowdhury, Rajarshi, et al.
Published: (2026)