Na Meng
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
The paper introduces PoVSmith, an agent-based system that uses large language models and call path analysis to automatically generate and assess proof-of-vulnerability tests, significantly improving the detection of exploitable library vulnerabilities in complex software.
Highlighted terms show continued research focus across papers
Papers
cs.CRcs.SERecentMay 5, 2026
Generating Proof-of-Vulnerability Tests to Help Enhance the Security of Complex Software
Shravya Kanchi, Xiaoyan Zang, Ying Zhang, Danfeng Yao +1 more
The paper introduces PoVSmith, an agent-based system that uses large language models and call path analysis to automatically generate and assess proof-of-vulnerability tests, significantly improving t…
View →