Khoo, Khoongming, Eugene Lee, Thomas Peyrin, and Siang Meng Sim. 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.