Opendata, web and dolomites

CORNET SIGNED

Provably Correct Networks

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "CORNET" data sheet

The following table provides information about the project.

Coordinator
UNIVERSITATEA POLITEHNICA DIN BUCURESTI 

Organization address
address: SPLAIUL INDEPENDENTEI 313 SECT 6
city: BUCHAREST
postcode: 60042
website: http://www.pub.ro

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Romania [RO]
 Total cost 1˙325˙000 €
 EC max contribution 1˙325˙000 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2017-STG
 Funding Scheme ERC-STG
 Starting year 2018
 Duration (year-month-day) from 2018-01-01   to  2022-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITATEA POLITEHNICA DIN BUCURESTI RO (BUCHAREST) coordinator 1˙325˙000.00

Map

 Project objective

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.

 Deliverables

List of deliverables.
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.

 Publications

year authors and title journal last update
List of publications.
2019 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 (fabio@fabiodisconzi.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.

More projects from the same programme (H2020-EU.1.1.)

VictPart (2019)

Righting Victim Participation in Transitional Justice

Read More  

Photopharm (2020)

Photopharmacology: From Academia toward the Clinic.

Read More  

FICOMOL (2019)

Field Control of Cold Molecular Collisions

Read More