Julian Thomas

I am a PhD student at the Chair of Applied Cryptography research group at Friedrich-Alexander-Universität Erlangen-Nürnberg in Germany, under the supervision of Dominique Schröder.

I use formal methods to advance cryptographic constructions and protocols, ensuring that rigorous theory translates into practical, efficient, and secure systems. My work involves formalizing cryptographic primitives, constructions, protocols, and definitions, as well as exploring the theoretical relationships between them. My goal is to build upon these theoretical insights to enhance efficiency and strengthen security guarantees in real-world cryptographic applications.