Serge Vaudenay
EPFL IC IINFCOM LASEC
INF 237 (Bâtiment INF)
Station 14
1015 Lausanne
Web site: Web site: https://lasec.epfl.ch/
Web site: Web site: https://ssc.epfl.ch
Web site: Web site: https://sin.epfl.ch
Fields of expertise
Cryptography, Communication security
CURRENT WORK
- Cryptographic analysis: security analysis (security proofs, attacks) of cryptographic primitives
- Lightweight cryptography: design and analysis of cryptographic primitives in constrained environments (stream cipher, key agreement, RFID privacy)
- Secure communication channels: key agreement, authentication and confidentiality, privacy
Serge Vaudenay
JOB APPLICATION AND SUPPORT LETTER REQUEST
Please read this document. Any request not following these guidelines is most likely to be discarded.Biography
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.Publications
Selected publications
| S. Vaudenay PPUR - 2010 |
La fracture cryptographique |
| S. Vaudenay Springer - 2005 |
A Classical Introduction to Cryptography - Applications for Communications Security |
| J. Monnerat, S. Vaudenay Journal of Cryptology, 24, 2011 |
Short Undeniable Signatures Based on Group Homomorphisms |
| S. Vaudenay Advances in Cryptology - ASIACRYPT 07 - LNCS 4833 - 2007 |
On Privacy Models for RFID |
| S. Vaudenay Advances in Cryptology - CRYPTO 05 - LNCS 3621 - 2005 |
Secure Communications over Insecure Channels Based on Short Authenticated Strings |
| B. Canvel, A. Hiltgen, S. Vaudenay, M. Vuagnoux Advances in Cryptology - CRYPTO 03 - LNCS 2729 - 2003 |
Password Interception in a SSL/TLS Channel |
| S. Vaudenay Journal of Cryptology, 16, 2003 |
Decorrelation: a Theory for Block Cipher Security |
| S. Vaudenay Journal of Cryptology, 14, 2001 |
Cryptanalysis of the Chor-Rivest Cryptosystem |
| D. Coppersmith, J. Stern, S. Vaudenay Journal of Cryptology, 10, 1997 |
The Security of the Birational Permutation Signature Schemes |
Other publications
External list
See lasec.epfl.ch/people/vaudenay/pub.html.Teaching & PhD
Teaching
Communication Systems
Computer Science
PhD Students
Marco Laurane Chloé Angélina, Talayhan Abdullah,Past EPFL PhD Students
Aumasson Jean-Philippe , Baignères Thomas , Balli Muhammed Fatih , Barooti Khashayar , Barral Claude , Bay Asli , Bogos Sonia Mihaela , Caforio Andrea Felice , Chaabouni Rafik , Choi Gwangbae , Collins Daniel Patrick , Duc Alexandre Raphaël , Fischer Simon , Genet Aymeric , Huguenin-Dumittan Loïs Evan , Kaluderovic Novak , Kilinç Alper Handan , Ouafi Khaled , Pasini Sylvain , Sepehrdad Pouyan , Susil Petr , Tran Bénédikt Minh Dang , Vizár Damian , Vuagnoux Martin ,Courses
Cryptography and security
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.
Advanced cryptography
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.