{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T22:11:38Z","timestamp":1792275098909,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T00:00:00Z","timestamp":1192320000000},"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":[[2007,10,14]]},"DOI":"10.1145\/1294261.1294267","type":"proceedings-article","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T12:15:18Z","timestamp":1192796118000},"page":"45-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":334,"title":["Zyzzyva"],"prefix":"10.1145","author":[{"given":"Ramakrishna","family":"Kotla","sequence":"first","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lorenzo","family":"Alvisi","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mike","family":"Dahlin","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Allen","family":"Clement","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Edmund","family":"Wong","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2007,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"OpenSSL. http:\/\/www.openssl.org\/.  OpenSSL. http:\/\/www.openssl.org\/."},{"key":"e_1_3_2_2_2_1","unstructured":"US secret service report on insider attacks. http:\/\/www.sei.cmu.edu\/about\/press\/insider-2005.html.  US secret service report on insider attacks. http:\/\/www.sei.cmu.edu\/about\/press\/insider-2005.html."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095817"},{"key":"e_1_3_2_2_4_1","first-page":"149","volume-title":"Proc. IEEE COMPSAC","author":"Avizienis A.","year":"1977","unstructured":"A. Avizienis and L. Chen . On the implementation of n-version programming for software fault tolerance during execution . In Proc. IEEE COMPSAC , pages 149 -- 155 , Nov. 1977 . A. Avizienis and L. Chen. On the implementation of n-version programming for software fault tolerance during execution. In Proc. IEEE COMPSAC, pages 149--155, Nov. 1977."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.4"},{"key":"e_1_3_2_2_6_1","volume-title":"NIST","author":"Bassham L.","year":"1994","unstructured":"L. Bassham and W. Polk . Threat assessment of malicious code and human threats. Technical report , NIST , Computer Security Division , 1994 . L. Bassham and W. Polk. Threat assessment of malicious code and human threats. Technical report, NIST, Computer Security Division, 1994."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1754542.1754560"},{"key":"e_1_3_2_2_8_1","volume-title":"Proc. OSDI","author":"Castro M.","year":"1999","unstructured":"M. Castro and B. Liskov . Practical byzantine fault tolerance . In Proc. OSDI , February 1999 . M. Castro and B. Liskov. Practical byzantine fault tolerance. In Proc. OSDI, February 1999."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_2_2_10_1","volume-title":"Proc. OSDI","author":"Cowling J.","year":"2006","unstructured":"J. Cowling , D. Myers , B. Liskov , R. Rodrigues , and L. Shrira . HQ replication: A hybrid quorum protocol for Byzantine fault tolerance . In Proc. OSDI , Nov. 2006 . J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira. HQ replication: A hybrid quorum protocol for Byzantine fault tolerance. In Proc. OSDI, Nov. 2006."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/42282.42283"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945467"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312924"},{"key":"e_1_3_2_2_16_1","volume-title":"SafeStore: A Durable and Practical Storage System. In USENIX Annual Technical Conference","author":"Kotla R.","year":"2007","unstructured":"R. Kotla , L. Alvisi , and M. Dahlin . SafeStore: A Durable and Practical Storage System. In USENIX Annual Technical Conference , Monterey, CA , June 2007 . R. Kotla, L. Alvisi, and M. Dahlin. SafeStore: A Durable and Practical Storage System. In USENIX Annual Technical Conference, Monterey, CA, June 2007."},{"key":"e_1_3_2_2_17_1","volume-title":"Zyzzyva: Speculative byzantine fault tolerance","author":"Kotla R.","year":"2007","unstructured":"R. Kotla , L. Alvisi , M. Dahlin , A. Clement , and E. Wong . Zyzzyva: Speculative byzantine fault tolerance . University of Texas at Austin , Technical Report : UTCS-TR-07-40, 2007 . R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: Speculative byzantine fault tolerance. University of Texas at Austin, Technical Report: UTCS-TR-07-40, 2007."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009382.1009773"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/279227.279229"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1809315.1809321"},{"key":"e_1_3_2_2_22_1","volume-title":"NSDI","author":"Li J.","year":"2007","unstructured":"J. Li and D. Mazi\u00e8res . Beyond one-third faulty replicas in Byzantine fault tolerant services . In NSDI , 2007 . J. Li and D. Mazi\u00e8res. Beyond one-third faulty replicas in Byzantine fault tolerant services. In NSDI, 2007."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.121169"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050050"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.35"},{"key":"e_1_3_2_2_26_1","volume-title":"Network file system protocol specification. InternetRFC1094","author":"Microsystems S.","year":"1989","unstructured":"S. Microsystems . NFS : Network file system protocol specification. InternetRFC1094 , 1989 . S. Microsystems. NFS: Network file system protocol specification. InternetRFC1094, 1989."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.37"},{"key":"e_1_3_2_2_28_1","volume-title":"Proc. OSDI","author":"Nightingale E.","year":"2006","unstructured":"E. Nightingale , K. Veeraraghavan , P. Chen , and J. Flinn . Rethink the sync . In Proc. OSDI , 2006 . E. Nightingale, K. Veeraraghavan, P. Chen, and J. Flinn. Rethink the sync. In Proc. OSDI, 2006."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095829"},{"key":"e_1_3_2_2_30_1","volume-title":"Proc. USITS","author":"Openheimer D.","year":"2003","unstructured":"D. Openheimer , A. Ganapathi , and D. Patterson . Why do internet systems fail, and what can be done about it . In Proc. USITS , Seattle,WA , March 2003 . D. Openheimer, A. Ganapathi, and D. Patterson. Why do internet systems fail, and what can be done about it. In Proc. USITS, Seattle,WA, March 2003."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322188"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502037"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319159"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/647883.738394"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/850927.851782"},{"key":"e_1_3_2_2_39_1","volume-title":"Proc. OSDI","author":"Yang J.","year":"2006","unstructured":"J. Yang , C. Sar , and D. Engler . Explode: A lightweight, general system for finding serious storage system errors . In Proc. OSDI , 2006 . J. Yang, C. Sar, and D. Engler. Explode: A lightweight, general system for finding serious storage system errors. In Proc. OSDI, 2006."},{"key":"e_1_3_2_2_40_1","volume-title":"Proc. OSDI","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. Engler , and M. Musuvathi . Using Model Checking to Find Serious File System Errors . In Proc. OSDI , 2004 . J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In Proc. OSDI, 2004."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945470"}],"event":{"name":"SOSP07: ACM SIGOPS 21st Symposium on Operating Systems Principles 2007","location":"Stevenson Washington USA","acronym":"SOSP07","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294267","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1294261.1294267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:22Z","timestamp":1750243942000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1294261.1294267"}},"subtitle":["speculative byzantine fault tolerance"],"short-title":[],"issued":{"date-parts":[[2007,10,14]]},"references-count":39,"alternative-id":["10.1145\/1294261.1294267","10.1145\/1294261"],"URL":"https:\/\/doi.org\/10.1145\/1294261.1294267","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1323293.1294267","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,14]]},"assertion":[{"value":"2007-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}