Automated Analysis and Synthesis of Message Authentication Codes. - Stefan Milius; Dominik Paulus; Dominique Schröder; Lutz Schröder; Julian Thomas (IACR Cryptol. ePrint Arch., 2025)