Human-readable Proof of the Related-Key Security of AES-128. ToSC. 2017;2017(2):59-83. doi:10.13154/tosc.v2017.i2.59-83