Verifying and enforcing network paths with icing.

Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazires, Michael Miller, Arun Seehra

Browse the full CoNEXT paper archive.