Section: Partnerships and Cooperations

National Initiatives

ANR

ProSe

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

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

FUI

Pisco

• Title: PISCO

• Partners: Bull, Cassadian, CEA, CS, Saferiver, Serpikom, Telecom Paristech

• Duration: January 2013 - December 2014.

• Coordinator: Liliana Calabanti, Bull (France)

• Abstract: The goal of the project is to develop a prototype of a new secure applicance based on a virtual machine architecture accessing an HSM. The role of PROSECCO is to contribute to the analysis of security http://www.systematic-paris-region.org/en/projets/pisco