Explore the words cloud of the CORNET project. It provides you a very rough idea of what is the project "CORNET" about.
The following table provides information about the project.
UNIVERSITATEA POLITEHNICA DIN BUCURESTI
|Coordinator Country||Romania [RO]|
|Total cost||1˙325˙000 €|
|EC max contribution||1˙325˙000 € (100%)|
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
|Duration (year-month-day)||from 2018-01-01 to 2022-12-31|
Take a look of project's partnership.
|1||UNIVERSITATEA POLITEHNICA DIN BUCURESTI||RO (BUCHAREST)||coordinator||1˙325˙000.00|
Networks are the backbone of our society, but configuring them is error-prone and tedious: misconfigured networks result in headline grabbing network outages that affect many users and hurt company revenues while security breaches that endanger millions of customers. There are currently no guarantees that deployed networks correctly implement their operator’s policy.
Existing research has focused on two directions: a) low level analysis and instrumentation of real networking code prevents memory bugs in individual network elements, but does not capture network-wide properties desired by operators such as reachability or loop freedom; b) high-level analysis of network-wide properties to verify operator policies on abstract network models; unfortunately, there are no guarantees that the models are an accurate representation of the real network code, and often low-level errors invalidate the conclusions of the high-level analysis.
We propose to achieve provably correct networks by simultaneously targeting both low-level security concerns and network-wide policy compliance checking. Our key proposal is to rely on exhaustive network symbolic execution for verification and to automatically generate provably correct implementations from network models. Generating efficient code that is equivalent to the model poses great challenges that we will address with three key contributions:
a) We will develop a novel theoretical equivalence framework based on symbolic execution semantics, as well as equivalence-preserving model transformations to automatically optimize network models for runtime efficiency.
b) We will develop compilers that take network models and generate functionally equivalent and efficient executable code for different targets (e.g. P4 and C).
c) We will design algorithms that generate and insert runtime guards that ensure correctness of the network with respect to the desired policy even when legacy boxes are deployed in the network.
|Data management plan||Open Research Data Pilot||2019-04-18 13:50:34|
Take a look to the deliverables list in detail: detailed list of CORNET deliverables.
|year||authors and title||journal||last update|
Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, and Costin Raiciu
Dataplane equivalence and its applications
published pages: , ISSN: , DOI:
|USENIX Symposium on Networked Systems Design and Implementation 2019||2019-09-02|
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "CORNET" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (email@example.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "CORNET" are provided by the European Opendata Portal: CORDIS opendata.