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

Attend this 50-minute conference talk from the third session of SKCAM 2025, the inaugural Workshop on Symmetric-key Cryptanalysis Automation and Modelling 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 by leading experts in the field. Learn about the latest developments in automated cryptanalysis methods, mathematical modeling approaches for symmetric cryptographic systems, and innovative tools for analyzing symmetric-key algorithms. Gain insights into how automation is transforming the landscape of cryptanalysis and discover new methodologies for evaluating the security of symmetric encryption schemes. This presentation represents one of four papers featured in the third session of this specialized workshop, offering deep technical knowledge for researchers, cryptographers, and security professionals working in symmetric-key cryptography and automated security analysis.