Fix with P6: Verifying Programmable Switches at Runtime
| dc.contributor.author | Shukla, Apoorv | |
| dc.contributor.author | Hudemann, Kevin | |
| dc.contributor.author | Vági, Zsolt | |
| dc.contributor.author | Hügerich, Lily | |
| dc.contributor.author | Smaragdakis, Georgios | |
| dc.contributor.author | Hecker, Artur | |
| dc.contributor.author | Schmid, Stefan | |
| dc.contributor.author | Feldmann, Anja | |
| dc.date.accessioned | 2021-06-18T06:45:39Z | |
| dc.date.available | 2021-06-18T06:45:39Z | |
| dc.date.issued | 2021-05 | |
| dc.description.abstract | We design, develop, and evaluate P6, an automated approach to (a) detect, (b) localize, and (c) patch software bugs in P4 programs. Bugs are reported via a violation of pre-specified expected behavior that is captured by P6. P6 is based on machine learning-guided fuzzing that tests P4 switch non-intrusively, i.e., without modifying the P4 program for detecting runtime bugs. This enables an automated and real-time localization and patching of bugs. We used a P6 prototype to detect and patch existing bugs in various publicly available P4 application programs deployed on two different switch platforms: behavioral model (bmv2) and Tofino. Our evaluation shows that P6 significantly outperforms bug detection baselines while generating fewer packets and patches bugs in large P4 programs such as switch.p4 without triggering any regressions. | en |
| dc.description.sponsorship | EC/H2020/679158/EU/Resolving the Tussle in the Internet: Mapping, Architecture, and Policy Making/ResolutioNet | en |
| dc.description.sponsorship | BMBF, 01IS17052, Software Campus 2.0 (TU Berlin) | en |
| dc.identifier.eissn | 2641-9874 | |
| dc.identifier.uri | https://depositonce.tu-berlin.de/handle/11303/13218 | |
| dc.identifier.uri | http://dx.doi.org/10.14279/depositonce-12013 | |
| dc.language.iso | en | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.ddc | 000 Informatik, Informationswissenschaft, allgemeine Werke | de |
| dc.subject.other | P4 | en |
| dc.subject.other | programmable switches | en |
| dc.subject.other | runtime verification | en |
| dc.subject.other | machine learning | en |
| dc.subject.other | network | en |
| dc.title | Fix with P6: Verifying Programmable Switches at Runtime | en |
| dc.type | Conference Object | en |
| dc.type.version | acceptedVersion | en |
| dcterms.bibliographicCitation.doi | 10.1109/INFOCOM42981.2021.9488772 | en |
| dcterms.bibliographicCitation.originalpublishername | Institute of Electrical and Electronics Engineers (IEEE) | en |
| dcterms.bibliographicCitation.originalpublisherplace | New York, NY | en |
| dcterms.bibliographicCitation.proceedingstitle | IEEE INFOCOM 2021 - IEEE Conference on Computer Communications | en |
| tub.accessrights.dnb | free | en |
| tub.affiliation | Fak. 4 Elektrotechnik und Informatik::Inst. Telekommunikationssysteme::FG Internet Measurement and Analysis (IMA) | de |
| tub.affiliation.faculty | Fak. 4 Elektrotechnik und Informatik | de |
| tub.affiliation.group | FG Internet Measurement and Analysis (IMA) | de |
| tub.affiliation.institute | Inst. Telekommunikationssysteme | de |
| tub.publisher.universityorinstitution | Technische Universität Berlin | en |