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

Projektinformationen

CRYSP

ID Finanzhilfevereinbarung: 259639

Projekt abgeschlossen

Startdatum 1 November 2010

Enddatum 31 Oktober 2015

Finanziert unter

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

Gesamtkosten

€ 1 406 726,40

EU-Beitrag

€ 1 406 726,00

Koordiniert durch

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France