|
Michael Miller Alum, advised by Michael Walfishareas of interest operating systems, networking
Now at Oscar Insurance |
publications
Verifying and enforcing network paths with ICING
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, , and Arun Seehra In CoNEXT 2011 - pdf :: bibtex |