2017. Human-readable Proof of the Related-Key Security of AES-128. IACR Transactions on Symmetric Cryptology. 2017, 2 (Jun. 2017), 59–83. DOI:https://doi.org/10.13154/tosc.v2017.i2.59-83.