@inproceedings{
Naous11Verifying,
Author = {Jad Naous and Michael Walfish and Antonio Nicolosi and David Mazières and Michael Miller and Arun Seehra},
Title = {Verifying and enforcing network paths with {ICING}},
Booktitle = {CoNEXT},
Year = {2011}
}