ERC-SG-PE6
ERC-SG-PE6
Programme: H2020
128 projects · €178,031,252 total EU contribution (project-level) · 88 participating organizations · 19 countries with participants
Total EU funding
Sum of EC max contribution fields for distinct projects in this topic.
€178,031,252
Countries active
Participant organizations by country (headquarters in CORDIS).
- Germany (22)
- France (10)
- UK (8)
- IL (7)
- CH (6)
- Spain (6)
- Netherlands (5)
- BE (4)
- EL (4)
- AT (2)
- DK (2)
- Italy (2)
- PT (2)
- SE (2)
- CZ (1)
- FI (1)
- HU (1)
- NO (1)
- PL (1)
Open calls
From the EU Funding & Tenders Portal, linked to this topic code when it matches the call identifier. Sync via yarn etl:funding.
No open or forthcoming calls linked to this topic in the database yet.
Top organizations
By number of distinct projects in this topic.
- INRIA13 projects · FR
- CNRS7 projects · FR
- EPFL7 projects · CH
- TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY6 projects · IL
- ETH Zürich5 projects · CH
- THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF CAMBRIDGE4 projects · UK
- UOA3 projects · EL
- IST AUSTRIA3 projects · AT
- KU Leuven3 projects · BE
- KTH3 projects · SE
- TUM3 projects · DE
- TAU3 projects · IL
Projects
Page 12 of 13
| Project | Programme | EU contribution | Total cost | |
|---|---|---|---|---|
Memory Compositional Abstract Domains:Certification of Memory Intensive Critical Softwares MEMCAD · 278673 | FP7 | €1,489,663 | €1,489,663 | Details |
CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs CRYSP · 259639 | FP7 | €1,406,726 | €1,406,726 | Details |
Verification of Concurrent Data Structures VERCORS · 258405 | FP7 | €1,306,500 | €1,306,500 | Details |
Basic Research in Cryptographic Protocol Theory BRiCPT · 279447 | FP7 | €1,171,019 | €1,171,019 | Details |
Efficient Cryptographic Arguments and Proofs ECAP · 307937 | FP7 | €1,346,074 | €1,346,074 | Details |
Cryptography and Complexity CAC · 259426 | FP7 | €1,459,703 | €1,459,703 | Details |
CRyptographic Algorithms and Secure Hardware CRASH · 280141 | FP7 | €1,498,874 | €1,498,874 | Details |
Protecting and Preserving Human Knowledge for Posterity PPP · 279237 | FP7 | €1,032,916 | €1,032,916 | Details |
Scalable Bayesian Methods for Machine Learning and Imaging SCALABIM · 277815 | FP7 | €1,401,697 | €1,401,697 | Details |
inVEST: Foundations for a Shift from Verification to Synthesis INVEST · 279499 | FP7 | €1,415,255 | €1,415,255 | Details |