Khoo, K. (2017) “Human-readable Proof of the Related-Key Security of AES-128”, IACR Transactions on Symmetric Cryptology, 2017(2), pp. 59–83. doi: 10.13154/tosc.v2017.i2.59-83.