Two Practical and Provably Secure Block Ciphers: BEARS and LION.

Ross J. Anderson, Eli Biham

Browse the full FSE paper archive.