Export 2 results:
Filters: Author is Sagar Chaki  [Clear All Filters]
Fayaz SK, Yu T, Tobioka Y, Chaki S, Sekar V.  2016.  BUZZ: Testing Context-Dependent Policies in Stateful Networks. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :275--289.
Vasudevan A, Chaki S, Maniatis P, Jia L, Datta A.  2016.  ├╝berSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. 25th USENIX Security Symposium (USENIX Security 16). :87--104.