Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Radu Stoenescu"'
Autor:
Ioan Constantin, Marius Iordache, Cristian Patachia, Franck Messaoudi, Thierry Masson, Stephen Parker, Esteban Martínez, Xavier Peralta, Gabriele Scivoletto, Giada Landi, Noémien Kocher, Felipe Huici, Radu Stoenescu, Razvan Deaconescu, Emil Slusanschi, Mike Rapoport
One of the main goals of the UNICORE Consortium is to work on the integration of all the different libraries, components and tools developed within the Project in order to build and release consolidated prototypes of the UNIKRAFT/UNICORE toolstack. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::087b18a88d109c5adc1644d4c3b138ec
Autor:
Ioan Constantin, Marius Iordache, Cristian Patachia, Franck Messaoudi, Thierry Masson, Stephen Parker, Esteban Martínez, Xavier Peralta, Gabriele Scivoletto, Cristina Basescu, Gaylor Bosson, Felipe Huici, Radu Stoenescu, Razvan Deaconescu, Emil Slusanschi, Mike Rapoport
This Deliverable 5.2 Initial Deployment - Intermediatedetails the initial deployment status for each of the use-cases, describing the original plan, the current status of the deployment, the issues encountered and the features used during months 12-1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94fa12f70967dc42107c83823325b557
Publikováno v:
Proceedings of the Annual conference of the ACM Special Interest Group on Data Communication on the applications, technologies, architectures, and protocols for computer communication
SIGCOMM
SIGCOMM
Recent verification work has made advances in finding bugs in P4 programs before deployment, but it requires that the programmer specifies table rules that are possible at runtime[32, 24, 27]. This imposes a specification burden on the programmer, wh
Publikováno v:
SIGCOMM Posters and Demos
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos
Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos
Publikováno v:
SIGCOMM
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication-SIGCOMM 18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication -SIGCOMM '18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication-SIGCOMM 18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication -SIGCOMM '18
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication
We present Vera, a tool that verifies P4 programs using symbolic execution. Vera automatically uncovers a number of common bugs including parsing/deparsing errors, invalid memory accesses, loops and tunneling errors, among others. Vera can also be us
Autor:
Philip Eardley, Francisco Fontes, Stefano Salsano, Claudio Pisa, Lionel Natarianni, Bessem Sayadi, Erez Biton, George Tsolis, Michael J. McGrath, incenzo Riccobene, John Thomson, Carlos Parada, Rufael Mekuria, Radu Stoenescu, Costin Raiciu, Juan Manuel Sánchez, Elisa Rojas, Cyril Soldani
This Deliverable describes the use case scenarios and the performance and functional assessment key indicators that will be used for the final validation and evaluation activities.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c302bb4b852315fa2998ff478c1db43b
Autor:
Carlos Parada, Isabel Borges, Francisco Fontes, George Tsolis, Michael J. McGrath, Vincenzo Riccobene, John Thomson, Julian Chesterfield, Joel Atherley, Manos Ragiadakos, Luis Tomas Bolivar, Livnat Peer, Daniel Mellado, Erez Biton, Claudio Pisa, Francesco Lombardo, Stefano Salsano, Luca Chiaraviglio, Mohammad Shojafar, Lavinia Amorosi, Costin Raiciu, Radu Stoenescu, Matei Popovici, Dragos Dimitrescu, Maria Bianco
This deliverable reports the efforts of the three WP6 Tasks. It concludes all the efforts done at WP6, finalizing the control framework, the SLA-base deployment design, and completes the symbolic execution checking and anomaly detection tools impleme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::665c152b491e20db708a762a1ea40737
Publikováno v:
2016 IEEE International Symposium on Local and Metropolitan Area Networks (LANMAN)
LANMAN
LANMAN
Neutron is the OpenStack component that implements networking and it has been mocked and derided the weakest line in OpenStack [11]. We propose to use network symbolic execution to improve Neutron's ability to correctly implement tenant policies and
Publikováno v:
HotMiddlebox@CoNEXT
Today's networks deploy many stateful procesing boxes ranging from NATs to firewalls and application optimizers: these boxes operate on packet flows, rather than individual packets. As more and more middleboxes are deployed, understanding their compo