Publications

Published

• Symmetric and Asymmetric Anonymous Authenticated KEM (2026)
  Benedikt Auerbach, Doreen Riepel, Paul Rösler, Lea Thiemt, and Julian Thomas
  Asiacrypt 2026
• Atomic Swaps with Relaxed Assumptions (2026)
  Paul Roesler, Katharina Schambach, and Julian Thomas
  CiC
• Automated Analysis and Synthesis of Message Authentication Codes (2025)
  Stefan Milius, Dominik Paulus, Lutz Schröder, Dominique Schröder, Julian Thomas
  CSF

Preprints

• 1-Adaptive Weak Pseudorandom Functions (2025)
  Davide Li Calsi, Dominique Schröder, Julian Thomas
  Preprint