Biblio

Export 2 results:
Filters: Author is Peyman Kazemian  [Clear All Filters]
2013
Kazemian P, Chang M, Zeng H, Varghese G, McKeown N, Whyte S.  2013.  Real Time Network Policy Checking Using Header Space Analysis. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :99--111.
2012
Kazemian P, Varghese G, McKeown N.  2012.  Header Space Analysis: Static Checking for Networks. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). :113--126.