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

Explore the fourth 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 42-minute conference talk that represents one of four papers presented in the final session of this specialized workshop. Gain insights into the latest developments in automation and modeling techniques for analyzing symmetric cryptographic systems, as presented by leading researchers in the field. Access additional workshop resources and information through the official website at https://skcamworkshop.github.io/skcam2025/ to complement your understanding of this emerging area of cryptographic research.