Block Ciphers in Idealized Models: Automated Proofs and New Security Results
(2024)
Presentation / Conference Contribution
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
We develop and implement AlgoROM, a tool to systematically analyze the security of a wide class of symmetric primitives in idealized models of computation. The schemes that we consider are those that can be expressed over an alphabet consisting of XO... Read More about Block Ciphers in Idealized Models: Automated Proofs and New Security Results.