Publications
Research Publications
Peer-reviewed papers, security advisories, and technical reports on software verification, vulnerability search automation, and system security.
ACADEMIC
June 2026
Automated Exploit Generation for IoT
Accepted at USENIX Security '24.
Abstract
A novel approach to AEG leveraging LLMs and symbolic execution. This research focuses on the automated synthesis of ROP chains for resource-constrained devices.