Community Research and Development Information Service - CORDIS

Efficient Formally Secure Compilers to a Tagged Architecture

From 2017-01-01 to 2021-12-31, ongoing project

Project details

Total cost:

EUR 1 498 444

EU contribution:

EUR 1 498 444

Coordinated in:

France

Call for proposal:

ERC-2016-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Host Institution

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

EU contribution: EUR 1 498 444


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

Beneficiaries

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

EU contribution: EUR 1 498 444


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

To know more

Record Number: 207394 / Last updated on: 2016-11-08
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top