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.
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.