Provable security of block ciphers and cryptanalysis. - Asli Bay (2014)