people

I am a tenure-track researcher at the Max Planck Institute for Security and Privacy (MPI-SP). I investigate how to establish trust in information systems by giving strong security and privacy guarantees, for both hardware and software. My work focuses on detecting, specifying, and preventing information leakage through microarchitectural side channels. I develop specification languages and models, proof techniques, and testing approaches for black-box systems.

Previously, I was a researcher at Azure Research, Microsoft, where I worked on detection mechanisms and defenses for microarchitectural side-channels. I obtained my PhD from Saarland University (while working at CISPA) in 2022, where I was advised by Bernd Finkbeiner. My thesis was awarded with Saarland University’s Dr.-Eduard-Martin prize for the best computer science dissertation of the year. A 10-page summary of my thesis (with a focus on logics) can be found here.

Write your biography here. Tell the world about yourself. Link to your favorite subreddit. You can put a picture in, too. The code is already in, just name your picture prof_pic.jpg and put it in the img/ folder.

Put your address / P.O. box / other info right below your picture. You can also disable any these elements by editing profile property of the YAML header of your _pages/about.md. Edit _bibliography/papers.bib and Jekyll will render your publications page automatically.

Link to your social media connections, too. This theme is set up to use Font Awesome icons and Academicons, like the ones below. Add your Facebook, Twitter, LinkedIn, Google Scholar, or just disable all of them.

I am a tenure-track researcher at the Max Planck Institute for Security and Privacy (MPI-SP). I investigate how to establish trust in information systems by giving strong security and privacy guarantees, for both hardware and software. My work focuses on detecting, specifying, and preventing information leakage through microarchitectural side channels. I develop specification languages and models, proof techniques, and testing approaches for black-box systems.

Previously, I was a researcher at Azure Research, Microsoft, where I worked on detection mechanisms and defenses for microarchitectural side-channels. I obtained my PhD from Saarland University (while working at CISPA) in 2022, where I was advised by Bernd Finkbeiner. My thesis was awarded with Saarland University’s Dr.-Eduard-Martin prize for the best computer science dissertation of the year. A 10-page summary of my thesis (with a focus on logics) can be found here.

Write your biography here. Tell the world about yourself. Link to your favorite subreddit. You can put a picture in, too. The code is already in, just name your picture prof_pic.jpg and put it in the img/ folder.

Put your address / P.O. box / other info right below your picture. You can also disable any these elements by editing profile property of the YAML header of your _pages/about.md. Edit _bibliography/papers.bib and Jekyll will render your publications page automatically.

Link to your social media connections, too. This theme is set up to use Font Awesome icons and Academicons, like the ones below. Add your Facebook, Twitter, LinkedIn, Google Scholar, or just disable all of them.