CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs

Informations projet

CRYSP

N° de convention de subvention: 259639

Projet clôturé

Date de début 1 Novembre 2010

Date de fin 31 Octobre 2015

Financé au titre de

• Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Coût total € 1 406 726,40

Contribution de l’UE € 1 406 726,00

Coordonné par

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France