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.

View the paper