Thomas Baignères Serge Vaudenay Proving the Security of AES Substitution-Permutation Network. 65-81 2005 conf/sacrypt/2005 Selected Areas in Cryptography http://dx.doi.org/10.1007/11693383_5 db/conf/sacrypt/sacrypt2005.html#BaigneresV05