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

Informacje na temat projektu

CRYSP

Identyfikator umowy o grant: 259639

Projekt został zamknięty

Data rozpoczęcia 1 Listopada 2010

Data zakończenia 31 Października 2015

Finansowanie w ramach

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

Koszt całkowity € 1 406 726,40

Wkład UE € 1 406 726,00

Koordynowany przez

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France