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

Información del proyecto

CRYSP

Identificador del acuerdo de subvención: 259639

Proyecto cerrado

Fecha de inicio 1 Noviembre 2010

Fecha de finalización 31 Octubre 2015

Financiado con arreglo a

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

Coste total € 1 406 726,40

Aportación de la UE € 1 406 726,00

Coordinado por

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France