Projects

Current Research

• An Authentic Digital EMblem (ADEM) in collaboration with the International Committee of the Red Cross (ICRC) (published at CCS23)
  • ADEM was covered publicly in a news article by ETH Zürich and I gave an interview to Deutschlandfunk (German).
• SOAP: A Social Authentication Protocol (under submission)
• Currently, I work on applying cyclic proof rules to Tamarin such that it can handle looping protocols and recursive data structures better. More soon!

RISC-V Formal Analysis

I wrote my Master thesis on information flow tracking in instruction set architectures as a follow-up to my work at Arm Security Research.

Automated Reasoning

During my studies, I was working as part of the Chair for Intelligent Systems at Leipzig University where I wrote my Bachelor thesis in theoretical computer science on abstract argumentation. This thesis turned into my first publication later.

Bachelor in Philosophy

As part of studying a Bachelor’s in philosophy, I wrote my thesis (in German) about two works of Plato: the Republic and Phaido. I investigated how the fields of ontology, normativity (or ethics), and epistemology are linked in his philosophy.

Hobby Coding

As part of my hobbies, I maintain https://coriolis.io/ which is a fan-made ship-builder for the space game Elite: Dangerous.