Ambrona, M., Farshim, P., & Harasser, P. (2024, October). Block Ciphers in Idealized Models: Automated Proofs and New Security Results. Presented at ACM SIGSAC Conference on Computer and Communications Security 2024, Salt Lake City, USA