Proof-Carrying Network Code. - Christian Skalka; John H. Ring; David Darais; Minseok Kwon; Sahil Gupta; Kyle Diller; Steffen Smolka; Nate Foster (CCS, 2019)