Zeyad Abdelrazek
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Crypto×1Prog. Lang.×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
The paper introduces a novel multi-LLM orchestration system combined with symbolic execution to successfully detect memory vulnerabilities in uncompilable, incomplete Rust CVE code snippets, achieving a significantly higher detection rate than existing tools.
Highlighted terms show continued research focus across papers