Publications
Design, Automation & Test in Europe Conference (DATE) 2024
A semi-automatic methodology for synthesizing hardware-software leakage contracts for open-source microarchitectures.
ACM SIGSAC Conference on Computer and Communications Security (CCS) 2023
Distinguished Paper Award (CCS 2023)
Introducing LeaVe, the first tool for verifying register-transfer-level (RTL) processor designs against ISA-level leakage contracts.
FdSI-Bachelor-Preis
An approach to automatically infer hardware-software contracts for open-source processors.