Projects

Our ongoing research covers topics such as:

• Automated refactoring and program transformation
• Type recovery from binaries and stripped code
• Fuzzing and symbolic execution
• Secure software compartmentalization (e.g., CHERI)
• Developer-aware feedback systems