Section: Partnerships and Cooperations

National Initiatives

ANR

ProSe

• Title: ProSe: Security protocols : formal model, computational model, and implementations (ANR VERSO 2010.)

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

• Duration: December 2010 - December 2014.

• Coordinator: Bruno Blanchet, Inria (France)

• Abstract: 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.