Publications

• 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