3 papers
cs.CR2025
What Do They Fix? LLM-Aided Categorization of Security Patches for Critical Memory Bugs
Xingyu Li, Juefei Pu, Yifan Wu +11
Open-source software projects are foundational to modern software ecosystems, with the Linux kernel standing out as a critical exemplar due to its ubiquity and complexity. Although…
cs.CR2024
SoK: Understanding the Attack Surface in Device Driver Isolation Frameworks
Yongzhe Huang, Kaiming Huang, Matthew Ennis +4
Device driver isolation is a promising approach for protecting the kernel from faulty or malicious drivers, but the actual security provided by such frameworks is often not well un…
cs.CR2024
Static Detection of Filesystem Vulnerabilities in Android Systems
Yu-Tsung Lee, Hayawardh Vijayakumar, Zhiyun Qian +1
Filesystem vulnerabilities persist as a significant threat to Android systems, despite various proposed defenses and testing techniques. The complexity of program behaviors and acc…