Explore the latest advances in provable symmetric cryptography through this conference session from Eurocrypt 2025, chaired by Yosuke Todo. Delve into cutting-edge research presentations that examine the theoretical foundations and security proofs underlying symmetric cryptographic systems. Learn about novel approaches to proving the security of symmetric encryption schemes, block ciphers, and related cryptographic primitives. Discover how researchers are advancing the field by developing rigorous mathematical frameworks for analyzing and guaranteeing the security properties of symmetric cryptographic constructions. Gain insights into the methodologies used to establish provable security bounds and understand the implications of these theoretical advances for practical cryptographic applications.