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),
Whiteboxgrind – Automated Analysis of Whitebox Cryptography
Proceedings of the 12th International Workshop on Constructive Side-Channel Analysis and Secure Design (COSADE),
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,