Project Notice |
|
| PNR | 40340 |
| Project Name | Safe Networks using P4 Programs |
| Project Detail | Safe networks through bug-free P4 programmes Programmable hardware data planes enable unprecedented network flexibility, promising an ever-evolving set of network functionalities at hardware speeds. P4 is a specialised programming language that can configure programmable data planes. Developed in the context of an EU-funded project, af4 is a verification tool that finds all bugs and automatically fixes P4 programmes without needing any programmer input. It automatically generates predicates to filter out buggy table entries. The EU-funded SafeNet project will now conduct a market study to identify potential new customers. The ultimate aim is to help get the product to market quickly as af4 promises to significantly reduce bugs and increase network safety. |
| Funded By | European Union (EU) |
| Sector | GRC |
| Country | Romania , Eastern Europe |
| Project Value | Plz Refer Document |
Contact Information |
|
| Company Name | CORRECT NETWORKS SRL |
| Address | Intrarea Ezareni Nr. 10, Camera 1, Ap. 2 010258 Bucuresti Sector 1 |
| Web Site | https://cordis.europa.eu/project/id/875690 |
