Khoo, K.; Lee, E.; Peyrin, T.; Sim, S. M. Human-Readable Proof of the Related-Key Security of AES-128. ToSC 2017, 2017, 59-83.