[1]
K. Khoo, E. Lee, T. Peyrin, and S. M. Sim, “Human-readable Proof of the Related-Key Security of AES-128”, ToSC, vol. 2017, no. 2, pp. 59–83, Jun. 2017.