Provable Security Analysis of Tweakable Block Ciphers Using Substitution Permutation Networks

This paper by Benoît Cogliati, Yevgeniy Dodis, Jonathan Katz, Jooyoung Lee, John Steinberger, Aishwarya Thiruvengadam, and Zhe Zhang presents a formal security analysis of tweakable block ciphers constructed through substitution permutation networks, prov