Biblio

Export 2 results:
Filters: Author is Mooly Sagiv  [Clear All Filters]
2022
Zhang W, Sheng E, Chang M, Panda A, Sag, iv M, Shenker S.  2022.  Blockaid: Data Access Policy Enforcement for Web Applications. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :701--718.
2017
Panda A, Lahav O, Argyraki K, Sag, iv M, Shenker S.  2017.  Verifying Reachability in Networks with Mutable Datapaths. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :699--718.