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

Explore the first presentation from session 2 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. Delve into cutting-edge research in symmetric-key cryptanalysis through this 33-minute conference talk that represents one of two papers presented in this session. Learn about the latest developments in automation and modeling techniques for analyzing symmetric cryptographic systems from leading researchers in the field. Access insights from this specialized workshop that brings together experts working on computational approaches to cryptanalysis, mathematical modeling of cryptographic primitives, and automated tools for security analysis of symmetric encryption schemes.