schedule
--:--:-- --
-------, --- --
calendar_month
Research Focus
Systems Security & Vulnerability Audits
monitoring
Academic Impact
1 Papers • 12 Confirmed CVEs
partly_cloudy_day
Weather
Lab Status
Active • Research Services Operational
Publications
Research Publications
Peer-reviewed papers, security advisories, and technical reports on software verification, vulnerability search automation, and system security.
ACADEMIC
August 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.