CORDIS · 875690 · H2020
SafeNet Safe Networks using P4 Programs
Coordinator: CORRECT NETWORKS SRL (RO)
Programmable hardware dataplanes such as the Barefoot Tofino enable unprecedented network flexibility, promising an ever-evolving set of network functionalities at hardware speeds, and are being rolled out in production. However, programming such dataplanes is very difficult as numerous bugs have been found even in trivial programs: accesses to uninitialized header fields, header stack underflows or overflows and processing of dropped packets. Verifying P4 programs before deployment is a great solution to make P4 programs safe. Recent research in this direction has shown that many bugs can be…
About Horizon 2020 (2014–2020)
Horizon 2020 was the EU's flagship research and innovation programme for 2014–2020, with a budget of around €77 billion. It bundled FP7's strands with the EIT and the Competitiveness and Innovation Programme, introduced a stronger societal-challenge orientation, and pushed the funding logic toward closer-to-market innovation. New calls closed in 2020 but funded projects continued through 2024.
0 EU contribution: €150k awarded to the consortium. The project runs over approximately 1.7 years from 2019-09-01 to 2021-05-31.
Full record on CORDIS — partners, deliverables, publications, news.
Open on cordis.europa.eu → Grant DOI ↗More from RO
see all →- CARMINE — Climate-Resilient Development Pathways in Metropolitan Regions of Europe101137851 · HORIZON · €10.2M
- CVDLINK — A federated paradigm of real-world data sources utilization for the empowerment of diagnosis, prognosis and risk assessment of cardiovascular conditions101137278 · HORIZON · €9.7M
- DOORS — Developing Optimal and Open Research Support for the Black Sea (DOORS)101000518 · H2020 · €9.0M
- EUTOPIA_HEALTH — Empowering Widening universities in EUTOPIA_HEALTH consortium to foster academic excellence in Health101136914 · HORIZON · €5.0M
- UNICORE — A Common Code Base and Toolkit for Deployment of Applications to Secure and Reliable Virtual Execution Environments825377 · H2020 · €4.3M
- OptFor-EU — OPTimising FORest management decisions for a low-carbon, climate resilient future in EUrope101060554 · HORIZON · €4.3M
Other H2020 projects
see all →- EUROfusion — Implementation of activities described in the Roadmap to Fusion during Horizon 2020 through a Joint programme of the members of the EUROfusion consortium633053 · DE · €678.8M
- H2020 — COST at a turning point: A unique framework for pan-European ST cooperation as clear demonstration of European values681463 · BE · €178.2M
- HBP SGA3 — Human Brain Project Specific Grant Agreement 3945539 · BE · €150.0M
- COVID-19 VACCINES — PROPOSAL FOR FUNDING RESEARCH DEVELOPMENT AND MANUFACTURING OF VACCINE AGAINST COVID-19101018100 · NO · €100.0M
- UNITE4TB — ACADEMIA AND INDUSTRY UNITED INNOVATION AND TREATMENT FOR TUBERCULOSIS101007873 · NL · €92.5M
- ERA4TB — EUROPEAN REGIMEN ACCELERATOR FOR TUBERCULOSIS853989 · ES · €89.8M
Frequently asked questions
- Who funds this research project?
- This project is funded by the European Union through the Horizon 2020 (2014–2020) programme, under the ERC-POC funding scheme.
- What is the EU contribution?
- The European Commission contributes €150k.
- Which EU programme funds it?
- The project is funded under Horizon 2020 (2014–2020), call ERC-2019-PoC.
- Who coordinates the project?
- The project is coordinated by CORRECT NETWORKS SRL (RO).
- What is the project timeline?
- The project runs from 2019-09-01 to 2021-05-31 — approximately 1.7 years.
- Where can I find the full project record?
- The complete record — partners, deliverables, publications and news — is published on CORDIS under project ID 875690.