Block Ciphers in Idealized Models: Automated Proofs and New Security Results.

Miguel Ambrona, Pooya Farshim, Patrick Harasser

Browse the full CCS paper archive.