@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 \texttt{http://lasecwww.epfl.ch/~tbaigner}}
}