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

Attend this 43-minute conference talk from the first Workshop on Symmetric-key Cryptanalysis Automation and Modelling (SKCAM 2025), 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 in the first paper of session 4. Learn about the latest developments in automated cryptanalysis methods, mathematical modeling approaches for symmetric cryptographic systems, and innovative tools for analyzing block ciphers, stream ciphers, and hash functions. Gain insights into how automation is transforming the field of cryptanalysis and discover new methodologies for evaluating the security of symmetric-key cryptographic primitives. Access additional workshop resources and related papers through the official SKCAM workshop website to deepen your understanding of this specialized area of cryptographic research.