Khoo, Khoongming, Eugene Lee, Thomas Peyrin, and Siang Meng Sim. “Human-Readable Proof of the Related-Key Security of AES-128”. IACR Transactions on Symmetric Cryptology 2017, no. 2 (June 19, 2017): 59–83. Accessed January 19, 2025. https://icscm.ub.rub.de/index.php/ToSC/article/view/638.