Publications

• Automated Analysis and Synthesis of Message Authentication Codes (2025)
  Stefan Milius, Dominik Paulus, Lutz Schröder, Dominique Schröder, Julian Thomas
  CSF