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

Explore the second presentation from session 4 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 29-minute academic talk that represents one of four papers presented in this session. Gain insights into the latest developments in automation and modeling techniques for analyzing symmetric cryptographic systems, as presented by leading researchers in the field at this specialized workshop focused on advancing the state of cryptanalytic methodologies.