Julian Thomas

Publications

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