Symmetric-key Cryptanalysis Automation and Modelling Workshop - Session 1 Talk 1

Attend this 33-minute conference talk from the first Workshop on Symmetric-key Cryptanalysis Automation and Modelling (SKCAM 2025), held on March 15th, 2025 in Rome, Italy, just prior to FSE 2025. Explore cutting-edge research in symmetric-key cryptanalysis automation and modeling techniques as presented in the first paper of session 1. Learn about the latest developments in automated approaches to analyzing symmetric cryptographic systems and mathematical modeling methods used in cryptanalysis. Gain insights into how automation is transforming the field of symmetric-key cryptography research and discover new methodologies being developed by leading researchers in the cryptographic community. Access additional workshop resources and information through the official SKCAM workshop website at https://skcamworkshop.github.io/skcam2025/.