Projects

Current Research & Work

• A Formal Analysis of the iMessage PQ3 Messaging Protocol
• At the IETF, I am an author of the Key Transparency Protocol draft as part of the keytrans working group
• 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 (accepted at USENIX Security 24)
• 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.