Research Projects

Current Projects

• CAREER: Advanced Trace-oriented Binary Code Analysis
• Binary Code Reverse Engineering and Retrofitting
• Principled Side Channel Vulnerability Detection and Mitigation
• Towards Secure Lean Software
• Machine Learning for Cybersecurity

Previous Projects

• Programming in Eliza
• Cruiser: Concurrent Buffer Overflow Monitoring Using Lock-free Data Structures
• SPLAD: Obfuscation Resilient Software Plagiarism Detection
• BIM Data Hub: Software Interoperability for Building Information Modeling
• 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.