Dynamic property enforcement in programmable data planes

Miguel Neves, Bradley Huffaker, Kirill Levchenko, Marinho Barcellos

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Network programmers can currently deploy an arbitrary set of protocols in forwarding devices through data plane programming languages such as P4. However, as any other type of software, P4 programs are subject to bugs and misconfigurations. Network verification tools have been proposed as a means of ensuring that the network behaves as expected, but these tools typically require programmers to manually model P4 programs, are limited in terms of the properties they can guarantee and frequently face severe scalability issues. In this paper, we argue for a novel approach to this problem. Rather than statically inspecting a network configuration looking for bugs, we propose to enforce networking properties at runtime. To this end, we developed P4box, a system for deploying runtime monitors in programmable data planes. Our results show that P4box allows programmers to easily express a broad range of properties. Moreover, we demonstrate that runtime monitors represent a small overhead to network devices in terms of latency and resource consumption.

Original languageEnglish (US)
Title of host publication2019 IFIP Networking Conference, IFIP Networking 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9783903176164
StatePublished - May 2019
Externally publishedYes
Event2019 IFIP Networking Conference, IFIP Networking 2019 - Warsaw, Poland
Duration: May 20 2019May 22 2019

Publication series

Name2019 IFIP Networking Conference, IFIP Networking 2019


Conference2019 IFIP Networking Conference, IFIP Networking 2019

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture
  • Information Systems and Management
  • Safety, Risk, Reliability and Quality


Dive into the research topics of 'Dynamic property enforcement in programmable data planes'. Together they form a unique fingerprint.

Cite this