KHOO, Khoongming; LEE, Eugene; PEYRIN, Thomas; SIM, Siang Meng. 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://tosc.iacr.org/index.php/ToSC/article/view/638. Acesso em: 19 apr. 2024.