Khoo, K., Lee, E., Peyrin, T., & Sim, S. M. (2017). Human-readable Proof of the Related-Key Security of AES-128. IACR Transactions on Symmetric Cryptology, 2017(2), 59–83. https://doi.org/10.13154/tosc.v2017.i2.59-83