1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CR2026
PrimSynth: An Agentic Approach to Discover, Validate, and Synthesize Exploit Primitives for Linux Kernel Vulnerabilities
Pengfei Wang, Anying Chen, Danjun Liu +2
Linux kernel vulnerabilities are critical to downstream systems. Despite extensive research on automated kernel exploitation, a fundamental challenge remains the conceptual gap bet…
cs.CR2024★ 1 cited
INSTILLER: Towards Efficient and Realistic RTL Fuzzing
Gen Zhang, Pengfei Wang, Tai Yue +3
Bugs exist in hardware, such as CPU. Unlike software bugs, these hardware bugs need to be detected before deployment. Previous fuzzing work in CPU bug detection has several disadva…