Opendata, web and dolomites

SafeNet SIGNED

Safe Networks using P4 Programs

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 SafeNet project word cloud

Explore the words cloud of the SafeNet project. It provides you a very rough idea of what is the project "SafeNet" about.

shown    rules    entries    explore    programmable    verifying    input    commercialise    dropped    deployment    af4    packets    programmers    commercialisation    sigcomm    needing    predicates    filter    applicability    market    tofino    hardware    erc    stack    functionalities    always    source    conduct    bugs    prospective    rolled    p4v    programming    solution    direction    adds    tools    p4    reduces    safe    stg    remove    tested    express    predicate    time    inference    consulting    appear    keys    header    caught    cornet    commercial    barefoot    faulty    finds    found    difficult    speeds    tables    accesses    buggy    uninitialized    flexibility    verification    alfa    dataplanes    generates    programs    2018    vera    customers    correct    overflows    trivial    fixes    matching    cloud    reachable    burden    understand    network    unprecedented    certain    closed    feasibility    impose    behavior    tool    automatically    table    minimal    underflows    programmer   

Project "SafeNet" data sheet

The following table provides information about the project.

Coordinator
CORRECT NETWORKS SRL 

Organization address
address: INTRAREA EZARENI NR. 10, CAMERA 1, AP. 2
city: BUCURESTI SECTOR 1
postcode: 10258
website: n.a.

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 0 €
 EC max contribution 150˙000 € (0%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2019-PoC
 Funding Scheme ERC-POC-LS
 Starting year 2019
 Duration (year-month-day) from 2019-09-01   to  2021-02-28

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    CORRECT NETWORKS SRL RO (BUCURESTI SECTOR 1) coordinator 150˙000.00

Map

 Project objective

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 caught if (1) we know the concrete table entries at verification time (Vera, our work in Sigcomm 2018), or (2) if programmers express which rules are likely to appear in practice (p4v in Sigcomm 2018). Both approaches impose a high burden on the programmer, which reduces their applicability. In the CORNET ERC Stg project we have developed af4, a verification tool that finds all bugs and automatically fixes P4 programs without needing programmer input. The key insight behind our work is that verification need not consider all table entries because certain table entries will always result in faulty behavior for all matching packets and thus cannot appear in a correct deployment. af4 automatically generates predicates that filter out buggy table entries. If bugs are still reachable after predicate inference, af4 automatically adds a minimal number of keys to the existing tables and generates predicates that remove all bugs in the programs we tested. In this project we will explore the feasibility of commercial exploitation of af4: a) we will conduct a market study to understand potential customers; b) we will study possible approaches to commercialise af4 including open-source consulting, cloud-based, or closed-source, and c) take steps towards commercialisation including the development of alfa-testing tools to be given to prospective customers.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "SAFENET" 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 "SAFENET" are provided by the European Opendata Portal: CORDIS opendata.

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

ENUF (2019)

Evaluation of Novel Ultra-Fast selective III-V Epitaxy

Read More  

MITOvTOXO (2020)

Understanding how mitochondria compete with Toxoplasma for nutrients to defend the host cell

Read More  

iNANOVAC4CANCER (2019)

BIOHYBRID AND BIODEGRADABLE NANOVACCINES FOR CANCER IMMUNOTHERAPY

Read More