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

Explore the second presentation from session 3 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 on symmetric-key cryptanalysis automation and modeling techniques presented by leading experts in the field. Learn about innovative approaches to automating cryptanalytic processes and mathematical modeling of symmetric cryptographic systems. Gain insights into the latest developments in computational methods for analyzing block ciphers, stream ciphers, and hash functions. Discover how automation tools and modeling frameworks are advancing the field of symmetric cryptography research and security evaluation.