Currently, I am a PhD candidate at Saarland University under the supervision of Jan Reineke. I am working at the Embedded Systems Lab focussing on hardware-software leakage contracts for microarchitectural security.