Program Analysis
Recent Courses
Summer 2025
- Lecture
Summer 2024
- Lecture
Publications
Peer-Reviewed
IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App Analysis
Proceedings of the 30th ACM SIGSAC Conference on Computer and Communications Security (CCS),
Cyber Grand Shellphish
Phrack (Volume 15, Issue 70),
Authors listed alphabetically.
Rampart: Protecting Web Applications from CPU-Exhaustion Denial-of-Service Attacks
Proceedings of the 27th USENIX Security Symposium (USENIX Security),
Mechanical Phish: Resilient Autonomous Hacking
IEEE Security & Privacy,