Crypto Team - CASCADE

Cryptography (see more details)

Cryptographic algorithms are the equivalent of locks, seals, security stamps and identification documents on the Internet. They are essential to protect our on-line bank transactions, credit cards, medical and personal information and to support e-commerce and e-government. They come in different flavors. Encryption algorithms are essential to protect sensitive information such as medical data, financial information and Personal Identification Numbers (PINs) from prying eyes. Digital signature algorithms (in combination with hash functions) replace hand-written signatures in electronic transactions. A similar role can be played by MAC algorithms. Identification protocols allow to securely verify the identity of the party at the other end of the line. Therefore, cryptology is a research area with a high strategic impact for industries, individuals, and for the society as a whole.

The research activity of the Crypto Team addresses the following topics, which cover almost all the domains that are currently active in the international cryptographic community:

Members of the Team

Head of the team: David Pointcheval

Researchers

Michel Abdalla - Junior Researcher at CNRS
Bruno Blanchet - Senior Researcher at INRIA
Pierre-Alain Fouque - Assistant Professor at ENS
Vadim Lyubashevsky - Junior Researcher at INRIA
David Naccache - Professor at Université Paris II
Phong Nguyen - Senior Researcher at INRIA
Duong Hieu Phan - Délégation INRIA
David Pointcheval - Senior Researcher at CNRS
Oded Regev - Senior Researcher at CNRS
Jacques Stern - Professor at l'ENS
Damien Vergnaud - Assistant Professor at ENS

Post-docs

Siamak F Shahandashti - CDD Univ. Paris 8 (ANR BEST)

PhD Students

Olivier Blazy - 2008 - Allocation de recherche Paris 7
David Cadé - 2009 - Allocation Spécifique Normalien
Léo Ducas - 2009 - Allocation Spécifique Normalien
Mario Strefler - 2009 - CDD INRIA
Yuanmi Chen - 2010 - Allocation Spécifique Normalien
Patrick Derbez - 2010 - Allocation Spécifique Normalien
Jérémy Jean - 2010 - CDD ENS (ANR SAPHIR / DGA)
Miriam Paiola - 2010 - CDD INRIA

Associated PhD Students

Delphine Masgana Leresteux - 2008 - DGA
Roch Lescuyer - 2009 - Thèse CIFRE Orange Labs
Aurore Guillevic - 2010 - Thèse CIFRE Thales
Tancrède Lepoint - 2011 - CryptoExperts
Diana Maimut - 2011 - Crocus Technology
Sylvain Ruhault - 2011 - Oppida

Visitors

Vincent Cheval - PhD Student - ENS Cachan, France
Angelo De Caro - PhD Student - Univ. Salerno, Italy
Karina M. Magalhães - PhD Student - University of Campinas, Brazil

Internship Students

Alain Durmus - Ecole des Ponts-ParisTech, France

Former Members

Crypto Team Events

Crypto Seminar

Next talk of our weekly seminar
The crypto mailing list is hosted here, to receive crypto related announcements

Working Groups

Agenda

Collaborative Research Projects

2011-2015: ANR ARPEGE PRINCE: Proven Resilience against Information leakage in Cryptographic Engineering
2011-2015: ANR VERSO ProSe: Security protocols : formal model, computational model, and implementations
2010-2014: ANR VERSO BEST: Broadcast Encryption for Secure Telecommunications
2009-2013: ANR VERSO SAPHIR II: Sécurité et Analyse des Primitives de Hachage Innovantes et Récentes (Security and analysis of innovating and recent hashing primitives)
2008-2012: We lead the MAYA virtual lab of the network of excellence ECRYPT II
2007-2011: ANR SESUR PAMPA: Password Authentication and Methods for Privacy and Anonymity
2007-2011: ANR TELECOM PACE: Pairings and Advances in Cryptology for E-cash

2006-2010: ANR TELECOM SAVE: Sécurité et Audit du Vote Electronique (Security and audit for electronic voting)
2005-2009: ANR RNRT BACH: Biometric Authentication with Cryptographic Handling
2005-2009: ANR RNRT SAPHIR: Sécurité et Analyse des Primitives de Hachage Innovantes et Récentes (Security and analysis of innovating and recent hashing primitives)
2005-2009: ARA SSIA CrySCoE: Cryptographie pour la sécurité des codes embarqués (Cryptography for the security of embedded systems)
2005-2009: ARA SSIA FORMACRYPT: Formal security proofs for cryptographic protocols
2004-2008: We lead the AZTEC virtual lab of the network of excellence ECRYPT