Work-in-Progress presented at FCS 2024
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.