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

Attend this 30-minute conference talk from the first Workshop on Symmetric-key Cryptanalysis Automation and Modelling (SKCAM 2025), held in Rome, Italy on March 15th, 2025, 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 3. Learn about the latest developments in automated cryptanalysis methods and mathematical modeling approaches for symmetric cryptographic systems. Gain insights into how automation is transforming the field of cryptanalysis and discover new methodologies for analyzing symmetric encryption algorithms. This presentation represents one of four papers featured in session 3 of this inaugural workshop, bringing together researchers focused on advancing the automation and mathematical modeling of symmetric-key cryptanalysis.