3 citations · 4 across the 10 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
CodeMechanic: Bug-Property-Guided Program Mitigation
Han Zheng, Rafaila Galanopoulou, Ilia Shumailov +4
Automated testing discovers vulnerabilities faster than developers can investigate and repair them, leaving an interval in which known memory corruptions remain exploitable. End- t…
cs.CR2026
SoK: Taxonomizing the Low-Level Attack Surface of Modern Web Browsers
Han Zheng, Qinying Wang, Qiang Liu +1
The web browser remains one of the most exposed remote attack surfaces on end-user systems, and memory-corruption flaws continue to play a central role in real-world browser exploi…