Toward a verifiable software dataplane.

Mihai Dobrescu, Katerina J. Argyraki

Browse the full HOTNETS paper archive.