Human-readable Proof of the Related-Key Security of AES-128. IACR Transactions on Symmetric Cryptology, [S. l.], v. 2017, n. 2, p. 59–83, 2017. DOI: 10.13154/tosc.v2017.i2.59-83. Disponível em: https://ojs.ub.ruhr-uni-bochum.de/index.php/ToSC/article/view/638.. Acesso em: 10 jan. 2025.