Research interests: software systems
- software security
- software protection
- software analysis and verification
- information and software assurance
- programming languages
- software engineering
- Cruiser: Concurrent Buffer Overflow Monitoring Using Lock-free Data Structures
- SPLAD: Obfuscation Resilient Software Plagiarism Detection
- Towards Secure Lean Software
- BIM Data Hub: Software Interoperability for Building Information Modeling
- Programming in Eliza
- Foundational Proof-Carrying Code for security of untrusted code.
- KISS: Debugging concurrent programs with sequential analysis.
- EspC: Program analysis on large-scale production code for concurrency defect detection.
- Formal Methods for software specification and verification.