Aslí Bay: Provable Security of Block Ciphers and Cryptanalysis. EPFL, Switzerland 2014