Human-readable Proof of the Related-Key Security of AES-128

Khoongming Khoo, Eugene Lee, Thomas Peyrin, Siang Meng Sim. Human-readable Proof of the Related-Key Security of AES-128. IACR Trans. Symmetric Cryptol., 2017(2):59-83, 2017. [doi]

Abstract

Abstract is missing.