Section: Partnerships and Cooperations

ANR Projects within Academics

• ProSe: Security protocols : formal model, computational model, and implementations.

  Participant : David Pointcheval.

  From December 2010 to November 2014.

  Partners: ENS Cachan-Inria/Secsi, LORIA-Inria/Cassis, Inria/Prosecco, Verimag.

  The goal of the project is to increase the confidence in security protocols, and in order to reach this goal, provide security proofs at three levels: the symbolic level, in which messages are terms; the computational level, in which messages are bitstrings; the implementation level: the program itself.

• ROMAnTIC: Randomness in Mathematical Cryptography.

  Participant : Damien Vergnaud.

  From October 2012 to September 2016.

  Partners: ANSSI, Univ. Paris 7, Univ. Paris 8.

  The goal of this project is to get a better understanding of the interplay between randomness and cryptography and to study the security of various cryptographic protocols at different levels (information-theoretic and computational security, number-theoretic assumptions, design and provable security of new and existing constructions).