Publications

• Atomic Swaps with Relaxed Assumptions (2026)
  Paul Roesler, Katharina Schambach, and Julian Thomas
  CiC
• 1-Adaptive Weak Pseudorandom Functions (2025)
  Davide Li Calsi, Dominique Schröder, Julian Thomas
  Preprint
• Automated Analysis and Synthesis of Message Authentication Codes (2025)
  Stefan Milius, Dominik Paulus, Lutz Schröder, Dominique Schröder, Julian Thomas
  CSF