Automated Synthesis of Software Exploits
Research Experience for Undergraduates
Reverse Engineering Software Systems
Resilient Architectures
Software Synthesis
Software Security Testing
Vulnerability Discovery and Intelligence
Secure By Design
Medical Device Security and Safety
Industrial Control Systems