Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

CRYSP

Project ID: 259639
Financé au titre de

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

De 2010-11-01 à 2015-10-31, projet clôturé

Détails concernant le projet

Coût total:

EUR 1 406 726,40

Contribution de l'UE:

EUR 1 406 726

Coordonné à/au(x)/en:

France

Appel à propositions:

ERC-2010-StG_20091028See other projects for this call

Régime de financement:

ERC-SG - ERC Starting Grant

Objectif

Chercheur principal

Karthikeyan Bhargavan
Tél.: +33 1 69356970
Fax: +33 1 69356969
E-mail

Institution d'accueil

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contribution de l'UE: EUR 1 406 726


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations
Contact administratif: Valérie Boutheon
Tél.: +33 1 39635750
Fax: +33 1 39635034

Contact the organisation

Bénéficiaires

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contribution de l'UE: EUR 1 406 726


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations
Contact administratif: Valérie Boutheon
Tél.: +33 1 39635750
Fax: +33 1 39635034

Contact the organisation

To know more