News

Our paper "Enhancing Network Security through Vulnerability Monitoring" has been accepted at NSS 2024. This work presents PatchCanary, an early warning system for patch regressions in network security.

Presented work-in-progress on "Synthesis of Leakage Contracts from Examples" at the Foundations of Computer Security Workshop (FCS 2024). This research, conducted at IMDEA Software Institute, focuses on automatically synthesizing contracts that capture microarchitectural side-channel vulnerabilities.

Our collaboration with Harvard researchers on "Holepunch: Fast, Secure Deletion with Crash-Consistency" has been accepted at IEEE Security & Privacy 2024. The system provides fast, secure file deletion while maintaining crash consistency guarantees.

Our paper "Solder: Retrofitting Legacy Code with Cross-Language Patches" has been accepted at SANER 2023. This work presents a framework for addressing security challenges in legacy systems through cross-language patching techniques.