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 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
- Coq Cheatsheet: Tools and Tactics for Goal Solving - December 19, 2023
- Rendering LaTeX in Hakyll - November 14, 2023