Provably secure systems: foundations, design, and modularity

Project Information

PROSECURE

Grant agreement ID: 258865

Project closed

Start date 1 February 2011

End date 31 January 2016

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 470 000,00

EU contribution € 1 470 000,00

Coordinated by

CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France