Proof-Carrying Network Code.

Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster

Browse the full CCS paper archive.