Biblio

Export 5 results:
Filters: Author is Shriram Krishnamurthi  [Clear All Filters]
2014
Nelson T, Ferguson AD, Scheer MJG, Krishnamurthi S.  2014.  Tierless Programming and Reasoning for Software-Defined Networks. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). :519--531.
2012
Lerner BS, Carroll MJ, Kimmel DP, de la Vallee HQuay-, Krishnamurthi S.  2012.  Modeling and Reasoning about DOM Events. 3rd USENIX Conference on Web Application Development (WebApps 12). :1--12.
Ferguson AD, Guha A, Place J, Fonseca R, Krishnamurthi S.  2012.  Participatory Networking. 2nd USENIX Workshop on Hot Topics in Management of Internet, Cloud, and Enterprise Networks and Services (Hot-ICE 12).
2011
Politz JGibbs, Eliopoulos SAristides, Guha A, Krishnamurthi S.  2011.  ADsafety: Type-Based Verification of JavaScript Sandboxing. 20th USENIX Security Symposium (USENIX Security 11).
2010
Nelson T, Barratt C, Dougherty DJ, Fisler K, Krishnamurthi S.  2010.  The Margrave Tool for Firewall Analysis. 24th Large Installation System Administration Conference (LISA 10).