Biblio

Export 3 results:
Filters: Author is Selim Ciraci  [Clear All Filters]
2020
Yaseen N, Arzani B, Beckett R, Ciraci S, Liu V.  2020.  Aragog: Scalable Runtime Verification of Shardable Networked Systems. 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). :701--718.
Arzani B, Ciraci S, Saroiu S, Wolman A, Stokes J, Outhred G, Diwu L.  2020.  PrivateEye: Scalable and Privacy-Preserving Compromise Detection in the Cloud . 17th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 20). :797--815.
2018
Arzani B, Ciraci S, Chamon L, Zhu Y, Liu H, Padhye J, Loo BThau, Outhred G.  2018.  007: Democratically Finding the Cause of Packet Drops. 15th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 18). :419--435.