Listar por autor "Birnfeld, Karine"
Mostrando ítems 1-1 de 1
-
P4 switch code data flow analysis : towards stronger verification of forwarding plane software
Birnfeld, Karine (2020) [Tesis de maestría]The advent of Domain Specific Languages (DSL) like POF and P4 has enabled for the first time network operators to quickly redefine how forwarding plane devices (e.g., switches) parse and process packets in a Software-Defined ...