Khoo, Khoongming, et al. “Human-Readable Proof of the Related-Key Security of AES-128”. IACR Transactions on Symmetric Cryptology, vol. 2017, no. 2, June 2017, pp. 59-83, doi:10.13154/tosc.v2017.i2.59-83.