Talks

• Automated Analysis and Synthesis of Message Authentication Codes (2025)
  CSF, Santa Cruz, California, USA
• Automated Analysis and Synthesis of Message Authentication Codes (2024)
  SECURENET, Dublin, Ireland