@InProceedings{sac05-Baigneres-Vaudenay, author = {Thomas Baign{\`e}res and Serge Vaudenay}, title = {Proving the Security of {AES} Substitution-Permutation Network}, booktitle = {Selected Areas in Cryptography: 12th International Workshop, SAC 2005, Kingston, ON, Canada, August 11-12, 2005, Revised Selected Papers}, pages = {65--81}, year = 2006, editor = {Preneel, B. and Tavares, S.}, volume = 3897, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, note = {Available on \url{http://www.baigneres.net}} }