Verifying and Enforcing Network Paths with Icing
Arun Seehra
Michael Miller
David Mazières
Antonio Nicolosi
Michael Walfish