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

Project Information

CRYSP

Grant agreement ID: 259639

Project closed

Start date 1 November 2010

End date 31 October 2015

Funded under

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

Total cost € 1 406 726,40

EU contribution € 1 406 726,00

Coordinated by

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France