2 papers
cs.CR2026
Buzz to Boom: Detecting Message Progression Vulnerabilities in Electron Applications via Segmented Directed Fuzzing
Jianjia Yu, Zhengyu Liu, Ziyang Li +2
Electron is a popular framework for building cross-platform desktop applications using web technologies. Such applications consist of multiple processes with different privilege le…
cs.CR2026
Neuro-symbolic Static Analysis with LLM-generated Vulnerability Patterns
Penghui Li, Songchen Yao, Josef Sarfati Korich +4
In this work, we present MoCQ, a neuro-symbolic static analysis framework that leverages large language models (LLMs) to automatically generate vulnerability detection patterns. Th…