
I am currently a PhD candidate at Northeastern University in the NEU SecLab where I am advised by Engin Kirda.
I also work as a visiting researcher at the IMDEA Software
Institute under supervision of Marco
Guarnieri.
My primary research interests lie in the intersection of program analysis and formal methods. Specifically, I am interested in developing techniques to mitigate classes of vulnerabilities in software while simultaneously enabling formal reasoning about desired properties.
My primary research interests lie in the intersection of program analysis and formal methods. Specifically, I am interested in developing techniques to mitigate classes of vulnerabilities in software while simultaneously enabling formal reasoning about desired properties.
News
- Our paper Enhancing Network Security through Vulnerability Monitoring was accepted to NSS 2024. - September 5, 2024
- Our paper Work-In-Progress: Synthesis of Leakage Contracts from Examples was accepted to FCS 2024. - June 7, 2024
- Our paper Holepunch: Fast, Secure Deletion with Crash-Consistency was accepted to S&P 2024. - October 29, 2023
- Our paper Solder: Retrofitting Legacy Code with Cross-Language Patches was accepted to SANER 2023. - December 15, 2022
Recent Posts
- Datalog for Program Analysis - June 13, 2024
- Coq Cheatsheet: Tools and Tactics for Goal Solving - December 19, 2023
- Rendering LaTeX in Hakyll - November 14, 2023