{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:57Z","timestamp":1750220577793,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,4]],"date-time":"2020-11-04T00:00:00Z","timestamp":1604448000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,4]]},"DOI":"10.1145\/3422604.3425942","type":"proceedings-article","created":{"date-parts":[[2020,10,30]],"date-time":"2020-10-30T00:50:36Z","timestamp":1604019036000},"page":"74-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Proving Server Faults"],"prefix":"10.1145","author":[{"given":"Jonathan","family":"Weiss","sequence":"first","affiliation":[{"name":"Hebrew University of Jerusalem, Jerusalem, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Kwon","sequence":"additional","affiliation":[{"name":"Badge Inc., Fremont, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yossi","family":"Gilad","sequence":"additional","affiliation":[{"name":"Hebrew University of Jerusalem, Jerusalem, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"551","volume-title":"OSDI","author":"Angel S.","year":"2016","unstructured":"S. Angel and S. Setty . Unobservable communication over fully untrusted infrastructure . In OSDI , pages 551 -- 569 , GA, 2016 . USENIX Association. S. Angel and S. Setty. Unobservable communication over fully untrusted infrastructure. In OSDI, pages 551--569, GA, 2016. USENIX Association."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33481-8_9"},{"key":"e_1_3_2_1_3_1","volume-title":"Ricochet: Anonymous instant messaging for real privacy","author":"Brooks J.","year":"2016","unstructured":"J. Brooks Ricochet: Anonymous instant messaging for real privacy , 2016 . https:\/\/ricochet.im. J. Brooks et al. Ricochet: Anonymous instant messaging for real privacy, 2016. https:\/\/ricochet.im."},{"key":"e_1_3_2_1_4_1","first-page":"173","volume-title":"OSDI","author":"Castro M.","year":"1999","unstructured":"M. Castro , B. Liskov , Practical Byzantine fault tolerance . In OSDI , pages 173 -- 186 , 1999 . M. Castro, B. Liskov, et al. Practical Byzantine fault tolerance. In OSDI, pages 173--186, 1999."},{"key":"e_1_3_2_1_5_1","first-page":"68","volume-title":"Workshop on Economics of Peer-to-Peer systems","volume":"6","author":"Cohen B.","year":"2003","unstructured":"B. Cohen . Incentives build robustness in BitTorrent . In Workshop on Economics of Peer-to-Peer systems , volume 6 , pages 68 -- 72 , 2003 . B. Cohen. Incentives build robustness in BitTorrent. In Workshop on Economics of Peer-to-Peer systems, volume 6, pages 68--72, 2003."},{"key":"e_1_3_2_1_6_1","first-page":"147","volume-title":"USENIX Security Symposium","author":"Corrigan-Gibbs H.","year":"2013","unstructured":"H. Corrigan-Gibbs , D. I. Wolinsky , and B. Ford . Proactively accountable anonymous messaging in verdict. In S. T. King, editor , USENIX Security Symposium , pages 147 -- 162 . USENIX Association , 2013 . H. Corrigan-Gibbs, D. I. Wolinsky, and B. Ford. Proactively accountable anonymous messaging in verdict. In S. T. King, editor, USENIX Security Symposium, pages 147--162. USENIX Association, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251375.1251396"},{"volume-title":"gRPC: A high-performance, open source universal RPC framework. https:\/\/grpc.io\/","year":"2016","key":"e_1_3_2_1_8_1","unstructured":"Google. gRPC: A high-performance, open source universal RPC framework. https:\/\/grpc.io\/ , 2016 . Google. gRPC: A high-performance, open source universal RPC framework. https:\/\/grpc.io\/, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.585156"},{"key":"e_1_3_2_1_10_1","first-page":"91","volume-title":"NSDI","author":"Gupta T.","year":"2016","unstructured":"T. Gupta , N. Crooks , W. Mulhern , S. T. V. Setty , L. Alvisi , and M. Walfish . Scalable and private media consumption with Popcorn. In K. J. Argyraki and R. Isaacs, editors , NSDI , pages 91 -- 107 . USENIX Association , 2016 . T. Gupta, N. Crooks, W. Mulhern, S. T. V. Setty, L. Alvisi, and M. Walfish. Scalable and private media consumption with Popcorn. In K. J. Argyraki and R. Isaacs, editors, NSDI, pages 91--107. USENIX Association, 2016."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294279"},{"key":"e_1_3_2_1_12_1","first-page":"134","volume-title":"A new way to implement database replication. In A. El Abbadi, M. L. Brodie, S. Chakravarthy, U. Dayal, N. Kamel, G. Schlageter, and K.-Y","author":"Kemme B.","year":"2000","unstructured":"B. Kemme and G. Alonso . Don't be lazy, be consistent: Postgres-R , A new way to implement database replication. In A. El Abbadi, M. L. Brodie, S. Chakravarthy, U. Dayal, N. Kamel, G. Schlageter, and K.-Y . Whang, editors, VLDB , pages 134 -- 143 , 2000 . B. Kemme and G. Alonso. Don't be lazy, be consistent: Postgres-R, A new way to implement database replication. In A. El Abbadi, M. L. Brodie, S. Chakravarthy, U. Dayal, N. Kamel, G. Schlageter, and K.-Y. Whang, editors, VLDB, pages 134--143, 2000."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294267"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132755"},{"key":"e_1_3_2_1_15_1","volume-title":"XRD: Scalable messaging system with cryptographic privacy","author":"Kwon A.","year":"2020","unstructured":"A. Kwon , D. Lu , and S. Devadas . XRD: Scalable messaging system with cryptographic privacy . In NSDI. USENIX Association , 2020 . A. Kwon, D. Lu, and S. Devadas. XRD: Scalable messaging system with cryptographic privacy. In NSDI. USENIX Association, 2020."},{"key":"e_1_3_2_1_16_1","first-page":"181","volume-title":"SOSP","author":"Lacuyer M.","year":"2019","unstructured":"M. Lacuyer , R. Spahn , K. Vodrahalli , R. Geambasu , and D. Hsu . Privacy accounting and quality control in the Sage differentially private ML platform. In T. Brecht and C. Williamson, editors , SOSP , pages 181 -- 195 . ACM, 2019 . M. Lacuyer, R. Spahn, K. Vodrahalli, R. Geambasu, and D. Hsu. Privacy accounting and quality control in the Sage differentially private ML platform. In T. Brecht and C. Williamson, editors, SOSP, pages 181--195. ACM, 2019."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-006-0005-x"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806737"},{"key":"e_1_3_2_1_19_1","unstructured":"A. Langley. Pond 2016. https:\/\/github.com\/agl\/pond.  A. Langley. Pond 2016. https:\/\/github.com\/agl\/pond."},{"key":"e_1_3_2_1_20_1","volume-title":"RFC Editor","author":"Laurie B.","year":"2013","unstructured":"B. Laurie , A. Langley , and E. Kasper . Certificate transparency. RFC 6962 , RFC Editor , June 2013 . B. Laurie, A. Langley, and E. Kasper. Certificate transparency. RFC 6962, RFC Editor, June 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"OSDI","author":"Lazar D.","year":"2018","unstructured":"D. Lazar , Y. Gilad , and N. Zeldovich . Karaoke: Fast and strong metadata privacy with low noise . In OSDI , Carlsbad, CA , 2018 . USENIX Association. D. Lazar, Y. Gilad, and N. Zeldovich. Karaoke: Fast and strong metadata privacy with low noise. In OSDI, Carlsbad, CA, 2018. USENIX Association."},{"key":"e_1_3_2_1_22_1","first-page":"211","volume-title":"SOSP","author":"Lazar D.","year":"2019","unstructured":"D. Lazar , Y. Gilad , and N. Zeldovich . Yodel: strong metadata security for voice calls. In T. Brecht and C. Williamson, editors , SOSP , pages 211 -- 224 . ACM, 2019 . D. Lazar, Y. Gilad, and N. Zeldovich. Yodel: strong metadata security for voice calls. In T. Brecht and C. Williamson, editors, SOSP, pages 211--224. ACM, 2019."},{"key":"e_1_3_2_1_23_1","first-page":"1841","volume-title":"USENIX Security Symposium","author":"Leibowitz H.","year":"2019","unstructured":"H. Leibowitz , A. M. Piotrowska , G. Danezis , and A. Herzberg . No right to remain silent: Isolating malicious mixes. In N. Heninger and P. Traynor, editors , USENIX Security Symposium , pages 1841 -- 1858 . USENIX Association , 2019 . H. Leibowitz, A. M. Piotrowska, G. Danezis, and A. Herzberg. No right to remain silent: Isolating malicious mixes. In N. Heninger and P. Traynor, editors, USENIX Security Symposium, pages 1841--1858. USENIX Association, 2019."},{"key":"e_1_3_2_1_24_1","first-page":"383","volume-title":"USENIX Security Symposium","author":"Melara M. S.","year":"2015","unstructured":"M. S. Melara , A. Blankstein , J. Bonneau , E. W. Felten , and M. J. Freedman . CONIKS: Bringing key transparency to end users . In USENIX Security Symposium , pages 383 -- 398 , Washington, D.C. , 2015 . USENIX Association. M. S. Melara, A. Blankstein, J. Bonneau, E. W. Felten, and M. J. Freedman. CONIKS: Bringing key transparency to end users. In USENIX Security Symposium, pages 383--398, Washington, D.C., 2015. USENIX Association."},{"key":"e_1_3_2_1_25_1","unstructured":"T. P.\n      Pedersen\n    .\n  Non-interactive and information-theoretic secure verifiable secret sharing\n  . In J. Feigenbaum editor CRYPTO volume \n  576\n   of \n  LNCS pages \n  129\n  --\n  140\n  . \n  Springer-Verlag 1992 11--15 Aug. 1991.  T. P. Pedersen. Non-interactive and information-theoretic secure verifiable secret sharing. In J. Feigenbaum editor CRYPTO volume 576 of LNCS pages 129--140. Springer-Verlag 1992 11--15 Aug. 1991."},{"key":"e_1_3_2_1_26_1","first-page":"1199","volume-title":"USENIX Security Symposium","author":"Piotrowska A. M.","year":"2017","unstructured":"A. M. Piotrowska , J. Hayes , T. Elahi , S. Meiser , and G. Danezis . The Loopix anonymity system . In USENIX Security Symposium , pages 1199 -- 1216 . USENIX Association , 2017 . A. M. Piotrowska, J. Hayes, T. Elahi, S. Meiser, and G. Danezis. The Loopix anonymity system. In USENIX Security Symposium, pages 1199--1216. USENIX Association, 2017."},{"key":"e_1_3_2_1_27_1","first-page":"196","volume-title":"SOSP","author":"Roth E.","year":"2019","unstructured":"E. Roth , D. Noble , B. H. Falk , and A. Haeberlen . Honeycrisp: large-scale differentially private aggregation without a trusted core. In T. Brecht and C. Williamson, editors , SOSP , pages 196 -- 210 . ACM, 2019 . E. Roth, D. Noble, B. H. Falk, and A. Haeberlen. Honeycrisp: large-scale differentially private aggregation without a trusted core. In T. Brecht and C. Williamson, editors, SOSP, pages 196--210. ACM, 2019."},{"key":"e_1_3_2_1_28_1","volume-title":"ATC. USENIX","author":"Terrance J.","year":"2009","unstructured":"J. Terrance and M. J. Freedman . Object storage on CRAQ: High-throughput chain replication for read-mostly workloads . In ATC. USENIX , June 2009 . J. Terrance and M. J. Freedman. Object storage on CRAQ: High-throughput chain replication for read-mostly workloads. In ATC. USENIX, June 2009."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.19"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132783"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/554634"},{"key":"e_1_3_2_1_32_1","first-page":"179","volume-title":"OSDI","author":"Wolinsky D. I.","year":"2012","unstructured":"D. I. Wolinsky , H. Corrigan-Gibbs , B. Ford , and A. Johnson . Dissent in numbers: Making strong anonymity scale . In OSDI , pages 179 -- 182 , Hollywood, CA , 2012 . USENIX Association. D. I. Wolinsky, H. Corrigan-Gibbs, B. Ford, and A. Johnson. Dissent in numbers: Making strong anonymity scale. In OSDI, pages 179--182, Hollywood, CA, 2012. USENIX Association."}],"event":{"name":"HotNets '20: The 19th ACM Workshop on Hot Topics in Networks","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"],"location":"Virtual Event USA","acronym":"HotNets '20"},"container-title":["Proceedings of the 19th ACM Workshop on Hot Topics in Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422604.3425942","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3422604.3425942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:29Z","timestamp":1750195889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3422604.3425942"}},"subtitle":["RPCs for Distributed Systems in Byzantine Networks"],"short-title":[],"issued":{"date-parts":[[2020,11,4]]},"references-count":32,"alternative-id":["10.1145\/3422604.3425942","10.1145\/3422604"],"URL":"https:\/\/doi.org\/10.1145\/3422604.3425942","relation":{},"subject":[],"published":{"date-parts":[[2020,11,4]]},"assertion":[{"value":"2020-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}