Export 2 results:
Filters: Author is Mooly Sagiv  [Clear All Filters]
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.
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.