Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

CIRCUS

Project reference: 683032
Funded under

An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications

From 2016-04-01 to 2021-03-31, ongoing project

Project details

Total cost:

EUR 1 885 248

EU contribution:

EUR 1 885 248

Coordinated in:

France

Call for proposal:

ERC-2015-CoGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Related information

Open Access

Host Institution

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 1 885 248


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France

Beneficiaries

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 1 885 248


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France

To know more

Record Number: 200800 / Last updated on: 2016-05-30