Serge Vaudenay

Expertise Cryptography, Communication security Serge Vaudenay entered at the Ecole Normale Supérieure in 1989 with a major in mathematics. He earned his agrégation (secondary teaching degree) in mathematics in 1992, then a PhD in Computer Science at the University of Paris 7 - Denis Diderot in 1995. He subsequently became a senior research fellow at the CNRS, prior to being granted his habilitation à diriger des recherches (a postdoctoral degree authorizing the recipient to supervise doctoral students). In 1999, he was appointed as a Professor at the EPFL, where he created the Security and Cryptography Laboratory.CURRENT WORK Cryptographic analysis: security analysis (security proofs, attacks) of cryptographic primitivesLightweight cryptography: design and analysis of cryptographic primitives in constrained environments (stream cipher, key agreement, RFID privacy)Secure communication channels: key agreement, authentication and confidentiality, privacySerge VaudenayJOB APPLICATION AND SUPPORT LETTER REQUEST Please read this document. Any request not following these guidelines is most likely to be discarded. ResearchExternal list See lasec.epfl.ch/people/vaudenay/pub.html. Teaching & PhD PhD Students Keng-Yu Chen, Lewis Alexander Glabush, David Dervishi, Max Jackson Samuel Sydney William Leslie Duparc Past EPFL PhD Students Pascal Junod, Gildas Avoine, Yi Lu, Jean Monnerat, Thomas Baignères, Simon Fischer, Sylvain Pasini, Jean-Philippe Aumasson, Martin Vuagnoux, Claude Barral, Khaled Ouafi, Pouyan Sepehrdad, Asli Bay, Alexandre Duc, Petr Susil, Rafik Chaabouni, Sonia Mihaela Bogos, Damian Vizár, Handan Kilinç Alper, Gwangbae Choi, Muhammed Fatih Balli, Novak Kaluderovic, Andrea Felice Caforio, Khashayar Barooti, Aymeric Genet, Loïs Evan Huguenin-Dumittan, Bénédikt Minh Dang Tran, Daniel Patrick Collins, Abdullah Talayhan, Laurane Marco Courses Advanced cryptography COM-501 This course reviews some failure cases in public-key cryptography. It introduces some cryptanalysis techniques. It also presents fundamentals in cryptography such as interactive proofs. Finally, it presents some techniques to validate the security of cryptographic primitives. Cryptography and security COM-401 This course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented. Student seminar: security protocols and applications COM-506 This seminar introduces the participants to the current trends, problems, and methods in the area of communication security.