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

Informazioni relative al progetto

CRYSP

ID dell’accordo di sovvenzione: 259639

Progetto chiuso

Data di avvio 1 Novembre 2010

Data di completamento 31 Ottobre 2015

Finanziato da

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

Costo totale

€ 1 406 726,40

Contributo UE

€ 1 406 726,00

Coordinato da

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France