A Policy Framework for the Future Internet. - Arun Seehra; Jad Naous; Michael Walfish; David Mazières; Antonio Nicolosi; Scott Shenker (HotNets, 2009)

Verifying and enforcing network paths with icing. - Jad Naous; Michael Walfish; Antonio Nicolosi; David Mazières; Michael Miller; Arun Seehra (CoNEXT, 2011)