github.com/vipernet-xyz/tm@v0.34.24/spec/consensus/consensus-paper/lit.bib (about) 1 %--- conferences -------------------------------------------------- 2 @STRING{WDAG96 = "Proceedings of the 10th International Workshop 3 on Distributed Algorithms (WDAG'96)"} 4 @STRING{WDAG97 = "Proceedings of the 11th International Workshop 5 on Distributed Algorithms (WDAG'97)"} 6 @STRING{DISC98 = "Proceedings of the 12th International Conference 7 on Distributed Computing ({DISC}'98)"} 8 @STRING{DISC99 = "Proceedings of the 13th International Conference 9 on Distributed Computing ({DISC}'99)"} 10 @STRING{DISC98 = "Proceedings of the 13th International Conference 11 on Distributed Computing ({DISC}'98)"} 12 @STRING{DISC99 = "Proceedings of the 13th International Conference 13 on Distributed Computing ({DISC}'99)"} 14 @STRING{DISC00 = "Proceedings of the 14th International Conference 15 on Distributed Computing ({DISC}'00)"} 16 @STRING{DISC01 = "Proceedings of the 15th International Conference 17 on Distributed Computing ({DISC}'01)"} 18 @STRING{DISC02 = "Proceedings of the 16th International Conference 19 on Distributed Computing ({DISC}'02)"} 20 @STRING{DISC03 = "Proceedings of the 17th International Conference 21 on Distributed Computing ({DISC}'03)"} 22 @STRING{DISC04 = "Proceedings of the 18th International Conference 23 on Distributed Computing ({DISC}'04)"} 24 @STRING{DISC05 = "Proceedings of the 19th International Conference 25 on Distributed Computing ({DISC}'05)"} 26 @STRING{PODC83 = "Proceeding of the 1st Annual {ACM} Symposium on 27 Principles of Distributed Computing ({PODC}'83)"} 28 @STRING{PODC91 = "Proceeding of the 9th Annual {ACM} Symposium on 29 Principles of Distributed Computing ({PODC}'91)"} 30 @STRING{PODC94 = "Proceeding of the 12th Annual {ACM} Symposium on 31 Principles of Distributed Computing ({PODC}'94)"} 32 @STRING{PODC95 = "Proceeding of the 13th Annual {ACM} Symposium on 33 Principles of Distributed Computing ({PODC}'95)"} 34 @STRING{PODC96 = "Proceeding of the 14th Annual {ACM} Symposium on 35 Principles of Distributed Computing ({PODC}'96)"} 36 @STRING{PODC97 = "Proceeding of the 15th Annual {ACM} Symposium on 37 Principles of Distributed Computing ({PODC}'97)"} 38 @STRING{PODC98 = "Proceeding of the 16th Annual {ACM} Symposium on 39 Principles of Distributed Computing ({PODC}'98)"} 40 @STRING{PODC99 = "Proceeding of the 17th Annual {ACM} Symposium on 41 Principles of Distributed Computing ({PODC}'99)"} 42 @STRING{PODC00 = "Proceeding of the 18th Annual {ACM} Symposium on 43 Principles of Distributed Computing ({PODC}'00)"} 44 @STRING{PODC01 = "Proceeding of the 19th Annual {ACM} Symposium on 45 Principles of Distributed Computing ({PODC}'01)"} 46 @STRING{PODC02 = "Proceeding of the 20th Annual {ACM} Symposium on 47 Principles of Distributed Computing ({PODC}'02)"} 48 @STRING{PODC03 = "Proceeding of the 21st Annual {ACM} Symposium on 49 Principles of Distributed Computing ({PODC}'03)"} 50 @STRING{PODC03 = "Proceeding of the 22nd Annual {ACM} Symposium on 51 Principles of Distributed Computing ({PODC}'03)"} 52 @STRING{PODC04 = "Proceeding of the 23rd Annual {ACM} Symposium on 53 Principles of Distributed Computing ({PODC}'04)"} 54 @STRING{PODC05 = "Proceeding of the 24th Annual {ACM} Symposium on 55 Principles of Distributed Computing ({PODC}'05)"} 56 @STRING{PODC06 = "Proceedings of the 25th Annual {ACM} Symposium on 57 Principles of Distributed Computing ({PODC}'06)"} 58 @STRING{PODC07 = "Proceedings of the 26th Annual {ACM} Symposium on 59 Principles of Distributed Computing ({PODC}'07)"} 60 @STRING{STOC91 = "Proceedings of the 23rd Annual {ACM} Symposium on 61 Theory of Computing ({STOC}'91)"} 62 @STRING{WSS01 = "Proceedings of the 5th International Workshop on 63 Self-Stabilizing Systems ({WSS} '01)"} 64 @STRING{SSS06 = "Proceedings of the 8th International Symposium on 65 Stabilization, Safety, and Security of Distributed 66 Systems ({SSS} '06)"} 67 @STRING{DSN00 = "Dependable Systems and Networks ({DSN} 2000)"} 68 @STRING{DSN05 = "Dependable Systems and Networks ({DSN} 2005)"} 69 @STRING{DSN06 = "Dependable Systems and Networks ({DSN} 2006)"} 70 @STRING{DSN07 = "Dependable Systems and Networks ({DSN} 2007)"} 71 72 %--- journals ----------------------------------------------------- 73 @STRING{PPL = "Parallel Processing Letters"} 74 @STRING{IPL = "Information Processing Letters"} 75 @STRING{DC = "Distributed Computing"} 76 @STRING{JACM = "Journal of the ACM"} 77 @STRING{IC = "Information and Control"} 78 @STRING{TCS = "Theoretical Computer Science"} 79 @STRING{ACMTCS = "ACM Transactions on Computer Systems"} 80 @STRING{TDSC = "Transactions on Dependable and Secure Computing"} 81 @STRING{TPLS = "ACM Trans. Program. Lang. Syst."} 82 83 %--- publisher ---------------------------------------------------- 84 @STRING{ACM = "ACM Press"} 85 @STRING{IEEE = "IEEE"} 86 @STRING{SPR = "Springer-Verlag"} 87 88 %--- institution -------------------------------------------------- 89 @STRING{TUAuto = {Technische Universit\"at Wien, Department of 90 Automation}} 91 @STRING{TUECS = {Technische Universit\"at Wien, Embedded Computing 92 Systems Group}} 93 94 95 %------------------------------------------------------------------ 96 @article{ABND+90:jacm, 97 author = {Hagit Attiya and Amotz Bar-Noy and Danny Dolev and 98 David Peleg and R{\"u}diger Reischuk}, 99 title = {Renaming in an asynchronous environment}, 100 journal = JACM, 101 volume = {37}, 102 number = {3}, 103 year = {1990}, 104 pages = {524--548}, 105 publisher = ACM, 106 address = {New York, NY, USA}, 107 } 108 109 @article{ABND95:jacm, 110 author = {Hagit Attiya and Amotz Bar-Noy and Danny Dolev}, 111 title = {Sharing memory robustly in message-passing systems}, 112 journal = JACM, 113 volume = {42}, 114 number = {1}, 115 year = {1995}, 116 pages = {124--142}, 117 publisher = ACM, 118 address = {New York, NY, USA}, 119 } 120 121 @inproceedings{ACKM04:podc, 122 author = {Ittai Abraham and Gregory Chockler and Idit Keidar 123 and Dahlia Malkhi}, 124 title = {Byzantine disk paxos: optimal resilience with 125 byzantine shared memory.}, 126 booktitle = PODC04, 127 year = {2004}, 128 pages = {226-235} 129 } 130 131 @article{ACKM05:dc, 132 author = {Ittai Abraham and Gregory Chockler and Idit Keidar 133 and Dahlia Malkhi}, 134 title = {Byzantine disk paxos: optimal resilience with 135 byzantine shared memory.}, 136 journal = DC, 137 volume = {18}, 138 number = {5}, 139 year = {2006}, 140 pages = {387-408} 141 } 142 143 @article{ACT00:dc, 144 author = "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg", 145 title = "Failure Detection and Consensus in the 146 Crash-Recovery Model", 147 journal = DC, 148 year = 2000, 149 month = apr, 150 volume = 13, 151 number = 2, 152 pages = "99--125", 153 url = 154 "http://www.cs.cornell.edu/home/sam/FDpapers/crash-recovery-finaldcversion.ps" 155 } 156 157 @article{ACT00:siam, 158 author = "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg", 159 title = "On quiescent reliable communication", 160 journal = "SIAM Journal of Computing", 161 year = 2000, 162 volume = 29, 163 number = 6, 164 pages = "2040--2073", 165 month = apr 166 } 167 168 @inproceedings{ACT97:wdag, 169 author = "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg", 170 title = "Heartbeat: A Timeout-Free Failure Detector for 171 Quiescent Reliable Communication", 172 booktitle = WDAG97, 173 year = 1997, 174 pages = "126--140", 175 url = 176 "http://simon.cs.cornell.edu/Info/People/weichen/research/mypapers/wdag97final.ps" 177 } 178 179 @article{ACT98:disc, 180 author = "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg", 181 title = "Failure Detection and Consensus in the 182 Crash-Recovery Model", 183 journal = DISC98, 184 year = 1998, 185 pages = "231--245", 186 publisher = SPR 187 } 188 189 @article{ACT99:tcs, 190 author = "Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg", 191 title = "Using the Heartbeat Failure Detector for Quiescent 192 Reliable Communication and Consensus in 193 Partitionable Networks", 194 journal = "Theoretical Computer Science", 195 year = 1999, 196 month = jun, 197 volume = 220, 198 number = 1, 199 pages = "3--30", 200 url = 201 "http://www.cs.cornell.edu/home/sam/FDpapers/TCS98final.ps" 202 } 203 204 @inproceedings{ADGF+04:ispdc, 205 author = {Anceaume, Emmanuelle and Delporte-Gallet, Carole and 206 Fauconnier, Hugues and Hurfin, Michel and Le Lann, 207 G{\'e}rard }, 208 title = {Designing Modular Services in the Scattered 209 Byzantine Failure Model.}, 210 booktitle = {ISPDC/HeteroPar}, 211 year = {2004}, 212 pages = {262-269} 213 } 214 215 @inproceedings{ADGF+06:dsn, 216 author = {Marcos Kawazoe Aguilera and Carole Delporte-Gallet 217 and Hugues Fauconnier and Sam Toueg}, 218 title = {Consensus with Byzantine Failures and Little System 219 Synchrony.}, 220 booktitle = DSN06, 221 year = {2006}, 222 pages = {147-155} 223 } 224 225 @inproceedings{ADGFT01:disc, 226 author = "Marcos Kawazoe Aguilera and Carole Delporte-Gallet 227 and Hugues Fauconnier and Sam Toueg", 228 title = "Stable Leader Election", 229 booktitle = DISC01, 230 year = 2001, 231 pages = "108--122", 232 publisher = SPR 233 } 234 235 @inproceedings{ADGFT03:podc, 236 author = "Marcos K. Aguilera and Carole Delporte-Gallet and 237 Hugues Fauconnier and Sam Toueg", 238 title = "On implementing {O}mega with weak reliability and 239 synchrony assumptions", 240 booktitle = PODC03, 241 year = 2003, 242 publisher = ACM 243 } 244 245 @inproceedings{ADGFT04:podc, 246 author = {Marcos K. Aguilera and Carole Delporte-Gallet and 247 Hugues Fauconnier and Sam Toueg}, 248 title = {Communication-efficient leader election and 249 consensus with limited link synchrony}, 250 booktitle = PODC04, 251 year = 2004, 252 pages = {328--337}, 253 address = {St. John's, Newfoundland, Canada}, 254 publisher = ACM 255 } 256 257 @inproceedings{ADGFT06:dsn, 258 author = {Marcos Kawazoe Aguilera and Carole Delporte-Gallet 259 and Hugues Fauconnier and Sam Toueg}, 260 title = {Consensus with Byzantine Failures and Little System 261 Synchrony.}, 262 booktitle = DSN06, 263 year = 2006, 264 pages = {147-155}, 265 ee = 266 {http://doi.ieeecomputersociety.org/10.1109/DSN.2006.22}, 267 bibsource = {DBLP, http://dblp.uni-trier.de} 268 } 269 270 @inproceedings{ADLS91:stoc, 271 author = "Hagit Attiya and Cynthia Dwork and Nancy A. Lynch 272 and Larry J. Stockmeyer", 273 title = "Bounds on the Time to Reach Agreement in the 274 Presence of Timing Uncertainty", 275 booktitle = STOC91, 276 year = 1991, 277 pages = "359--369", 278 } 279 280 @article{AT99:ipl, 281 author = "Marcos Kawazoe Aguilera and Sam Toueg", 282 title = "A Simple Bivalency Proof that t -Resilient Consensus 283 Requires t + 1 Rounds", 284 journal = IPL, 285 volume = "71", 286 number = "3-4", 287 pages = "155--158", 288 year = "1999" 289 } 290 291 @Book{AW04:book, 292 author = {Attiya, Hagit and Welch, Jennifer}, 293 title = {Distributed Computing}, 294 publisher = {John Wiley {\&} Sons}, 295 edition = {2nd}, 296 year = {2004} 297 } 298 299 @Book{AW98:book, 300 author = {Hagit Attiya and Jennifer Welch}, 301 title = {Distributed Computing}, 302 publisher = {McGraw-Hill Publishing Company}, 303 year = {1998} 304 } 305 306 @InBook{AW98:book:chap12, 307 author = {Hagit Attiya and Jennifer Welch}, 308 title = {Distributed Computing}, 309 publisher = {McGraw-Hill Publishing Company}, 310 year = {1998}, 311 chapter = {12, "Improving the fault-tolerance of algorithms"} 312 } 313 314 @inproceedings{ABHMS11:disc, 315 author = {Hagit Attiya and 316 Fatemeh Borran and 317 Martin Hutle and 318 Zarko Milosevic and 319 Andr{\'e} Schiper}, 320 title = {Structured Derivation of Semi-Synchronous Algorithms}, 321 booktitle = {DISC}, 322 year = {2011}, 323 pages = {374-388} 324 } 325 326 @inproceedings{BCBG+07:podc, 327 author = {Martin Biely and Bernadette Charron-Bost and Antoine 328 Gaillard and Martin Hutle and Andr{\'e} Schiper and 329 Josef Widder}, 330 title = {Tolerating Corrupted Communication}, 331 publisher = ACM, 332 booktitle = PODC07, 333 year = {2007} 334 } 335 336 @InProceedings{BCBT96:wdag, 337 author = {Anindya Basu and Bernadette Charron-Bost and Sam 338 Toueg}, 339 title = {Simulating Reliable Links with Unreliable Links in 340 the Presence of Process Crashes}, 341 pages = {105--122}, 342 booktitle = {WDAG 1996}, 343 editor = {Babao{\u g}lu, {\"O}zalp}, 344 year = {1996}, 345 month = {Oct}, 346 volume = {1151}, 347 ISBN = {3-540-61769-8}, 348 pubisher = {Springer}, 349 series = {Lecture Notes in Computer Science}, 350 } 351 352 @article{BDFG03:sigact, 353 author = "R. Boichat and P. Dutta and S. Frolund and 354 R. Guerraoui", 355 title = "Reconstructing {P}axos", 356 journal = "ACM SIGACT News", 357 year = "2003", 358 volume = "34", 359 number = "1", 360 pages = "47-67" 361 } 362 363 @unpublished{BHR+06:note, 364 author = "Martin Biely and Martin Hutle and Sergio Rajsbaum 365 and Ulrich Schmid and Corentin Travers and Josef 366 Widder", 367 title = "Discussion note on moving timely links", 368 note = "Unpublished", 369 month = apr, 370 year = 2006 371 } 372 373 @article{BHRT03:jda, 374 author = {Roberto Baldoni and Jean-Michel H{\'e}lary and 375 Michel Raynal and L{\'e}naick Tanguy}, 376 title = {Consensus in Byzantine asynchronous systems.}, 377 journal = {J. Discrete Algorithms}, 378 volume = {1}, 379 number = {2}, 380 year = {2003}, 381 pages = {185-210}, 382 ee = {http://dx.doi.org/10.1016/S1570-8667(03)00025-X}, 383 bibsource = {DBLP, http://dblp.uni-trier.de} 384 } 385 386 @unpublished{BHSS08:tdsc, 387 author = {Fatemeh Borran and Martin Hutle and Nuno Santos and 388 Andr{\'e} Schiper}, 389 title = {Solving Consensus with Communication Predicates: 390 A~Quantitative Approach}, 391 note = {Under submission}, 392 year = {2008} 393 } 394 395 @inproceedings{Ben83:podc, 396 author = {Michael Ben-Or}, 397 title = {Another Advantage of Free Choice: Completely 398 Asynchronous Agreement Protocols}, 399 booktitle = {PODC}, 400 year = {1983}, 401 } 402 403 @inproceedings{Bra04:podc, 404 author = {Bracha, Gabriel}, 405 title = {An asynchronous [(n - 1)/3]-resilient consensus protocol}, 406 booktitle = {PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing}, 407 year = {1984}, 408 isbn = {0-89791-143-1}, 409 pages = {154--162}, 410 location = {Vancouver, British Columbia, Canada}, 411 doi = {http://doi.acm.org/10.1145/800222.806743}, 412 publisher = {ACM}, 413 address = {New York, NY, USA}, 414 } 415 416 417 @inproceedings{CBGS00:dsn, 418 author = "Bernadette Charron-Bost and Rachid Guerraoui and 419 Andr{\'{e}} Schiper", 420 title = "Synchronous System and Perfect Failure Detector: 421 {S}olvability and efficiency issues", 422 booktitle = DSN00, 423 publisher = "{IEEE} Computer Society", 424 address = "New York, {USA}", 425 pages = "523--532", 426 year = "2000" 427 } 428 429 @inproceedings{CBS06:prdc, 430 author = {Bernadette Charron-Bost and Andr{\'e} Schiper}, 431 title = {Improving Fast Paxos: being optimistic with no 432 overhead}, 433 booktitle = {Pacific Rim Dependable Computing, Proceedings}, 434 year = {2006} 435 } 436 437 @article{CBS09, 438 author = {B. Charron-Bost and A. Schiper}, 439 title = {The {H}eard-{O}f model: computing in distributed systems with benign failures}, 440 journal ={Distributed Computing}, 441 number = {1}, 442 volume = {22}, 443 pages = {49-71}, 444 year ={2009} 445 } 446 447 448 @article{CBS07:sigact, 449 author = {Bernadette Charron-Bost and Andr\'{e} Schiper}, 450 title = {Harmful dogmas in fault tolerant distributed 451 computing}, 452 journal = {SIGACT News}, 453 volume = {38}, 454 number = {1}, 455 year = {2007}, 456 pages = {53--61}, 457 } 458 459 @techreport{CBS07:tr, 460 author = {Charron-Bost, Bernadette and Schiper, Andr{\'{e}}}, 461 title = {The Heard-Of Model: Unifying all Benign Failures}, 462 institution = {EPFL}, 463 year = 2007, 464 OPTnumber = {LSR-REPORT-2006-004} 465 } 466 467 @article{CELT00:jacm, 468 author = {Soma Chaudhuri and Maurice Erlihy and Nancy A. Lynch 469 and Mark R. Tuttle}, 470 title = {Tight bounds for k-set agreement}, 471 journal = JACM, 472 volume = {47}, 473 number = {5}, 474 year = {2000}, 475 pages = {912--943}, 476 publisher = ACM, 477 address = {New York, NY, USA}, 478 } 479 480 @article{CF99:tpds, 481 author = "Flaviu Cristian and Christof Fetzer", 482 title = "The Timed Asynchronous Distributed System Model", 483 journal = "IEEE Transactions on Parallel and Distributed 484 Systems", 485 volume = "10", 486 number = "6", 487 pages = "642--657", 488 year = "1999" 489 } 490 491 @article{CHT96:jacm, 492 author = "Tushar Deepak Chandra and Vassos Hadzilacos and Sam 493 Toueg", 494 title = "The Weakest Failure Detector for Solving Consensus", 495 journal = {JACM}, 496 year = {1996}, 497 } 498 499 @article{CL02:tcs, 500 author = {Miguel Castro and Barbara Liskov}, 501 title = {Practical byzantine fault tolerance and proactive 502 recovery}, 503 journal = {ACMTCS}, 504 year = {2002}, 505 } 506 507 @inproceedings{CL99:osdi, 508 author = {Miguel Castro and Barbara Liskov}, 509 title = {Practical byzantine fault tolerance and proactive 510 recovery}, 511 booktitle = {Proceedings of the 3rd Symposium on Operating 512 Systems Design and Implementation}, 513 year = {1999}, 514 month = feb 515 } 516 517 @inproceedings{CT91:podc, 518 author = {Tushar Deepak Chandra and Sam Toueg}, 519 title = {Unreliable Failure Detectors for Asynchronous 520 Systems (Preliminary Version)}, 521 booktitle = PODC91, 522 year = {1991}, 523 pages = {325-340} 524 } 525 526 @article{CT96:jacm1, 527 author = "Tushar Deepak Chandra and Sam Toueg", 528 title = "Unreliable Failure Detectors for Reliable 529 Distributed Systems", 530 journal = {JACM}, 531 year = {1996}, 532 } 533 534 @inproceedings{CTA00:dsn, 535 author = "Wei Chen and Sam Toueg and Marcos Kawazoe Aguilera", 536 title = "On the Quality of Service of Failure Detectors", 537 booktitle = "Proceedings IEEE International Conference on 538 Dependable Systems and Networks (DSN / FTCS'30)", 539 address = "New York City, USA", 540 year = 2000 541 } 542 543 @TechReport{DFKM96:tr, 544 author = {Danny Dolev and Roy Friedman and Idit Keidar and 545 Dahlia Malkhi}, 546 title = {Failure detectors in omission failure environments}, 547 institution = {Department of Computer Science, Cornell University}, 548 year = {1996}, 549 type = {Technical Report}, 550 number = {96-1608} 551 } 552 553 @inproceedings{DG02:podc, 554 author = {Partha Dutta and Rachid Guerraoui}, 555 title = {The inherent price of indulgence}, 556 booktitle = PODC02, 557 year = 2002, 558 pages = {88--97}, 559 location = {Monterey, California}, 560 publisher = ACM, 561 address = {New York, NY, USA}, 562 } 563 564 @inproceedings{DGFG+04:podc, 565 author = {Carole Delporte-Gallet and Hugues Fauconnier and 566 Rachid Guerraoui and Vassos Hadzilacos and Petr 567 Kouznetsov and Sam Toueg}, 568 title = {The weakest failure detectors to solve certain 569 fundamental problems in distributed computing}, 570 booktitle = PODC04, 571 year = 2004, 572 pages = {338--346}, 573 location = {St. John's, Newfoundland, Canada}, 574 publisher = ACM, 575 address = {New York, NY, USA} 576 } 577 578 @inproceedings{DGL05:dsn, 579 author = {Partha Dutta and Rachid Guerraoui and Leslie 580 Lamport}, 581 title = {How Fast Can Eventual Synchrony Lead to Consensus?}, 582 booktitle = {Proceedings of the 2005 International Conference on 583 Dependable Systems and Networks (DSN'05)}, 584 pages = {22--27}, 585 year = {2005}, 586 address = {Los Alamitos, CA, USA} 587 } 588 589 @article{DLS88:jacm, 590 author = "Cynthia Dwork and Nancy Lynch and Larry Stockmeyer", 591 title = "Consensus in the Presence of Partial Synchrony", 592 journal = {JACM}, 593 year = {1988}, 594 } 595 596 @article{DPLL00:tcs, 597 author = "De Prisco, Roberto and Butler Lampson and Nancy 598 Lynch", 599 title = "Revisiting the {PAXOS} algorithm", 600 journal = TCS, 601 volume = "243", 602 number = "1--2", 603 pages = "35--91", 604 year = "2000" 605 } 606 607 @techreport{DS97:tr, 608 author = {A. Doudou and A. Schiper}, 609 title = {Muteness Failure Detectors for Consensus with 610 {B}yzantine Processes}, 611 institution = {EPFL, Dept d'Informatique}, 612 year = {1997}, 613 type = {TR}, 614 month = {October}, 615 number = {97/230}, 616 } 617 618 @inproceedings{DS98:podc, 619 author = {A. Doudou and A. Schiper}, 620 title = {Muteness Detectors for Consensus with {B}yzantine 621 Processes ({B}rief {A}nnouncement)}, 622 booktitle = {PODC}, 623 month = jul, 624 year = {1998} 625 } 626 627 @article{DSU04:survey, 628 author = {D{\'e}fago, Xavier and Schiper, Andr{\'e} and Urb\'{a}n, P{\'e}ter}, 629 title = {Total order broadcast and multicast algorithms: Taxonomy and survey}, 630 journal = {ACM Comput. Surv.}, 631 issue_date = {December 2004}, 632 volume = {36}, 633 number = {4}, 634 month = dec, 635 year = {2004}, 636 issn = {0360-0300}, 637 pages = {372--421}, 638 numpages = {50}, 639 publisher = {ACM}, 640 address = {New York, NY, USA}, 641 keywords = {Distributed systems, agreement problems, atomic broadcast, atomic multicast, classification, distributed algorithms, fault-tolerance, global ordering, group communication, message passing, survey, taxonomy, total ordering}, 642 } 643 644 @article{DeCandia07:dynamo, 645 author = {DeCandia, Giuseppe and Hastorun, Deniz and Jampani, Madan and Kakulapati, Gunavardhan and Lakshman, Avinash and Pilchin, Alex and Sivasubramanian, Swaminathan and Vosshall, Peter and Vogels, Werner}, 646 title = {Dynamo: amazon's highly available key-value store}, 647 journal = {SIGOPS Oper. Syst. Rev.}, 648 issue_date = {December 2007}, 649 volume = {41}, 650 number = {6}, 651 month = oct, 652 year = {2007}, 653 issn = {0163-5980}, 654 pages = {205--220}, 655 numpages = {16}, 656 publisher = {ACM}, 657 address = {New York, NY, USA}, 658 keywords = {performance, reliability, scalability}, 659 } 660 661 662 @book{Dol00:book, 663 author = {Shlomi Dolev}, 664 title = {Self-Stabilization}, 665 publisher = {The MIT Press}, 666 year = {2000} 667 } 668 669 @inproceedings{FC95:podc, 670 author = "Christof Fetzer and Flaviu Cristian", 671 title = "Lower Bounds for Convergence Function Based Clock 672 Synchronization", 673 booktitle = PODC95, 674 year = 1995, 675 pages = "137--143" 676 } 677 678 @article{FLP85:jacm, 679 author = "Michael J. Fischer and Nancy A. Lynch and 680 M. S. Paterson", 681 title = "Impossibility of Distributed Consensus with one 682 Faulty Process", 683 journal = {JACM}, 684 year = {1985}, 685 } 686 687 @article{FMR05:tdsc, 688 author = {Roy Friedman and Achour Most{\'e}faoui and Michel 689 Raynal}, 690 title = {Simple and Efficient Oracle-Based Consensus 691 Protocols for Asynchronous Byzantine Systems.}, 692 journal = TDSC, 693 volume = {2}, 694 number = {1}, 695 year = {2005}, 696 pages = {46-56}, 697 ee = {http://dx.doi.org/10.1109/TDSC.2005.13}, 698 bibsource = {DBLP, http://dblp.uni-trier.de} 699 } 700 701 @inproceedings{FS04:podc, 702 author = "Christof Fetzer and Ulrich Schmid", 703 title = "Brief announcement: on the possibility of consensus 704 in asynchronous systems with finite average response 705 times.", 706 booktitle = PODC04, 707 year = 2004, 708 pages = 402 709 } 710 711 @InProceedings{GL00:disc, 712 author = {Eli Gafni and Lesli Lamport}, 713 title = {Disk Paxos}, 714 booktitle = DISC00, 715 pages = {330--344}, 716 year = {2000}, 717 } 718 719 @Article{GL03:dc, 720 author = {Eli Gafni and Lesli Lamport}, 721 title = {Disk Paxos}, 722 journal = DC, 723 year = 2003, 724 volume = {16}, 725 number = {1}, 726 pages = {1--20} 727 } 728 729 @inproceedings{GP01:wss, 730 author = "Felix C. G{\"a}rtner and Stefan Pleisch", 731 title = "({I}m)Possibilities of Predicate Detection in 732 Crash-Affected Systems", 733 booktitle = WSS01, 734 year = 2001, 735 pages = "98--113" 736 } 737 738 @inproceedings{GP02:disc, 739 author = "Felix C. G{\"a}rtner and Stefan Pleisch", 740 title = "Failure Detection Sequencers: Necessary and 741 Sufficient Information about Failures to Solve 742 Predicate Detection", 743 booktitle = DISC02, 744 year = 2002, 745 pages = "280--294" 746 } 747 748 @inproceedings{GS96:wdag, 749 author = {Rachid Guerraoui and Andr{\'e} Schiper}, 750 title = {{``Gamma-Accurate''} Failure Detectors}, 751 booktitle = WDAG96, 752 year = {1996}, 753 pages = {269--286}, 754 publisher = SPR, 755 address = {London, UK} 756 } 757 758 @inproceedings{Gaf98:podc, 759 author = {Eli Gafni}, 760 title = {Round-by-round fault detectors (extended abstract): 761 unifying synchrony and asynchrony}, 762 booktitle = PODC98, 763 year = {1998}, 764 pages = {143--152}, 765 address = {Puerto Vallarta, Mexico}, 766 publisher = ACM 767 } 768 769 @incollection{Gra78:book, 770 author = {Jim N. Gray}, 771 title = {Notes on data base operating systems}, 772 booktitle = {Operating Systems: An Advanced Course}, 773 chapter = {3.F}, 774 publisher = {Springer}, 775 year = {1978}, 776 editor = {R. Bayer, R.M. Graham, G. Seegm\"uller}, 777 volume = {60}, 778 series = {Lecture Notes in Computer Science}, 779 address = {New York}, 780 pages = {465}, 781 } 782 783 @InProceedings{HMR98:srds, 784 author = {Hurfin, M. and Mostefaoui, A. and Raynal, M.}, 785 title = {Consensus in asynchronous systems where processes 786 can crash and recover}, 787 booktitle = {Seventeenth IEEE Symposium on Reliable Distributed 788 Systems, Proceedings. }, 789 pages = { 280--286}, 790 year = {1998}, 791 address = {West Lafayette, IN}, 792 month = oct, 793 organization = {IEEE} 794 } 795 796 @inproceedings{HMSZ06:sss, 797 author = "Martin Hutle and Dahlia Malkhi and Ulrich Schmid and 798 Lidong Zhou", 799 title = "Brief Announcement: Chasing the Weakest System Model 800 for Implementing {$\Omega$} and Consensus", 801 booktitle = SSS06, 802 year = 2006 803 } 804 805 @incollection{HT93:ds, 806 author = {Hadzilacos, Vassos and Toueg, Sam}, 807 title = {Fault-tolerant broadcasts and related problems}, 808 booktitle = {Distributed systems (2nd Ed.)}, 809 editor = {Mullender, Sape}, 810 year = {1993}, 811 isbn = {0-201-62427-3}, 812 pages = {97--145}, 813 numpages = {49} 814 } 815 816 817 @inproceedings{HS06:opodis, 818 author = {Heinrich Moser and Ulrich Schmid}, 819 title = {Optimal Clock Synchronization Revisited: Upper and 820 Lower Bounds in Real-Time Systems}, 821 booktitle = { Principles of Distributed Systems}, 822 pages = {94--109}, 823 year = {2006}, 824 volume = {4305}, 825 series = {Lecture Notes in Computer Science}, 826 publisher = SPR 827 } 828 829 @techreport{HS06:tr, 830 author = {Martin Hutle and Andr{\'e} Schiper}, 831 title = { Communication predicates: A high-level abstraction 832 for coping with transient and dynamic faults}, 833 institution = {EPFL}, 834 number = { LSR-REPORT-2006-006 }, 835 year = {2006} 836 } 837 838 @inproceedings{HS07:dsn, 839 author = {Martin Hutle and Andr{\'e} Schiper}, 840 title = { Communication predicates: A high-level abstraction 841 for coping with transient and dynamic faults}, 842 year = 2007, 843 booktitle = DSN07, 844 publisher = IEEE, 845 location = {Edinburgh,UK}, 846 pages = {92--10}, 847 month = jun 848 } 849 850 @article{Her91:tpls, 851 author = {Maurice Herlihy}, 852 title = {Wait-free synchronization}, 853 journal = TPLS, 854 volume = {13}, 855 number = {1}, 856 year = {1991}, 857 pages = {124--149}, 858 publisher = ACM, 859 address = {New York, NY, USA}, 860 } 861 862 @article{Kot09:zyzzyva, 863 author = {Kotla, Ramakrishna and Alvisi, Lorenzo and Dahlin, Mike and Clement, Allen and Wong, Edmund}, 864 title = {Zyzzyva: Speculative Byzantine fault tolerance}, 865 journal = {ACM Trans. Comput. Syst.}, 866 issue_date = {December 2009}, 867 volume = {27}, 868 number = {4}, 869 month = jan, 870 year = {2010}, 871 issn = {0734-2071}, 872 pages = {7:1--7:39}, 873 articleno = {7}, 874 numpages = {39}, 875 publisher = {ACM}, 876 address = {New York, NY, USA}, 877 keywords = {Byzantine fault tolerance, output commit, replication, speculative execution}, 878 } 879 880 881 @inproceedings{KMMS97:opodis, 882 author = "Kim Potter Kihlstrom and Louise E. Moser and 883 P. M. Melliar-Smith", 884 title = "Solving Consensus in a Byzantine Environment Using 885 an Unreliable Fault Detector", 886 booktitle = "Proceedings of the International Conference on 887 Principles of Distributed Systems (OPODIS)", 888 year = 1997, 889 month = dec, 890 address = "Chantilly, France", 891 pages = "61--75" 892 } 893 894 @inproceedings{KS06:podc, 895 author = {Idit Keidar and Alexander Shraer}, 896 title = {Timeliness, failure-detectors, and consensus 897 performance}, 898 booktitle = PODC06, 899 year = {2006}, 900 pages = {169--178}, 901 location = {Denver, Colorado, USA}, 902 publisher = {ACM Press}, 903 address = {New York, NY, USA}, 904 } 905 906 @InProceedings{LFA99:disc, 907 author = {Mikel Larrea and Antonio Fern\'andez and Sergio 908 Ar\'evalo}, 909 title = {Efficient algorithms to implement unreliable failure 910 detectors in partially synchronous systems}, 911 year = 1999, 912 month = sep, 913 pages = {34-48}, 914 series = "LNCS 1693", 915 booktitle = DISC99, 916 publisher = SPR, 917 address = {Bratislava, Slovaquia}, 918 } 919 920 @article{LL84:ic, 921 author = "Jennifer Lundelius and Nancy A. Lynch", 922 title = "An Upper and Lower Bound for Clock Synchronization", 923 journal = IC, 924 volume = 62, 925 number = {2/3}, 926 year = 1984, 927 pages = {190--204} 928 } 929 930 @techreport{LLS03:tr, 931 title = {How to Implement a Timer-free Perfect Failure 932 Detector in Partially Synchronous Systems}, 933 author = {Le Lann, G\'erard and Schmid, Ulrich}, 934 institution = TUAuto, 935 number = "183/1-127", 936 month = jan, 937 year = 2003 938 } 939 940 @article{LSP82:tpls, 941 author = {Leslie Lamport and Robert Shostak and Marshall 942 Pease}, 943 title = {The {B}yzantine Generals Problem}, 944 journal = {ACM Trans. Program. Lang. Syst.}, 945 year = {1982}, 946 } 947 948 @inproceedings{Lam01:podc, 949 author = {Butler Lampson}, 950 title = {The ABCD's of Paxos}, 951 booktitle = {PODC}, 952 year = {2001}, 953 954 } 955 956 @inproceedings{Lam03:fddc, 957 author = {Leslie Lamport}, 958 title = {Lower Bounds for Asynchronous Consensus}, 959 booktitle = {Future Directions in Distributed Computing}, 960 pages = {22--23}, 961 year = {2003}, 962 editor = {Andr{\'e} Schiper and Alex A. Shvartsman and Hakim 963 Weatherspoon and Ben Y. Zhao}, 964 number = {2584}, 965 series = {Lecture Notes in Computer Science}, 966 publisher = SPR 967 } 968 969 @techreport{Lam04:tr, 970 author = {Leslie Lamport}, 971 title = {Lower Bounds for Asynchronous Consensus}, 972 institution = {Microsoft Research}, 973 year = {2004}, 974 number = {MSR-TR-2004-72} 975 } 976 977 @techreport{Lam05:tr, 978 author = {Leslie Lamport}, 979 title = {Fast Paxos}, 980 institution = {Microsoft Research}, 981 year = {2005}, 982 number = {MSR-TR-2005-12} 983 } 984 985 @techreport{Lam05:tr-33, 986 author = {Leslie Lamport}, 987 title = {Generalized Consensus and Paxos}, 988 institution = {Microsoft Research}, 989 year = {2005}, 990 number = {MSR-TR-2005-33} 991 } 992 993 @Misc{Lam06:slides, 994 author = {Leslie Lamport}, 995 title = {Byzantine Paxos}, 996 howpublished = {Unpublished slides}, 997 year = {2006} 998 } 999 1000 @Article{Lam86:dc, 1001 author = {Lesli Lamport}, 1002 title = {On Interprocess Communication--Part I: Basic 1003 Formalism, Part II: Algorithms}, 1004 journal = DC, 1005 year = 1986, 1006 volume = 1, 1007 number = 2, 1008 pages = {77--101} 1009 } 1010 1011 @Article {Lam98:tcs, 1012 author = {Leslie Lamport}, 1013 title = {The part-time parliament}, 1014 journal = ACMTCS, 1015 year = 1998, 1016 volume = 16, 1017 number = 2, 1018 month = may, 1019 pages = {133-169}, 1020 } 1021 1022 @book{Lyn96:book, 1023 author = {Nancy Lynch}, 1024 title = {Distributed Algorithms}, 1025 publisher = {Morgan Kaufman}, 1026 year = {1996}, 1027 } 1028 1029 @inproceedings{MA05:dsn, 1030 author = {Martin, J.-P. and Alvisi, L. }, 1031 title = {Fast Byzantine consensus}, 1032 booktitle = DSN05, 1033 pages = {402--411}, 1034 year = {2005}, 1035 month = jun, 1036 organization = {IEEE}, 1037 } 1038 1039 @article{MA06:tdsc, 1040 author = {Martin, J.-P. and Alvisi, L. }, 1041 title = {Fast {B}yzantine Consensus}, 1042 journal = {TDSC}, 1043 year = {2006}, 1044 } 1045 1046 @InProceedings{MOZ05:dsn, 1047 author = {Dahlia Malkhi and Florin Oprea and Lidong Zhou}, 1048 title = {{$\Omega$} Meets Paxos: Leader Election and 1049 Stability without Eventual Timely Links}, 1050 booktitle = DSN05, 1051 year = {2005} 1052 } 1053 1054 @inproceedings{MR00:podc, 1055 author = "Achour Most{\'e}faoui and Michel Raynal", 1056 title = "k-set agreement with limited accuracy failure 1057 detectors", 1058 booktitle = PODC00, 1059 year = 2000, 1060 pages = {143--152}, 1061 location = {Portland, Oregon, United States}, 1062 publisher = ACM 1063 } 1064 1065 @article{MR01:ppl, 1066 author = "Achour Most{\'e}faoui and Michel Raynal", 1067 title = "Leader-Based Consensus", 1068 journal = PPL, 1069 volume = 11, 1070 number = 1, 1071 year = 2001, 1072 pages = {95--107} 1073 } 1074 1075 @techreport{OGS97:tr, 1076 author = "Rui Oliveira and Rachid Guerraoui and {Andr\'e} 1077 Schiper", 1078 title = "Consensus in the crash-recover model", 1079 number = "TR-97/239", 1080 year = "1997" 1081 } 1082 1083 @article{PSL80:jacm, 1084 author = {M. Pease and R. Shostak and L. Lamport}, 1085 title = {Reaching Agreement in the Presence of Faults}, 1086 journal = JACM, 1087 volume = {27}, 1088 number = {2}, 1089 year = {1980}, 1090 pages = {228--234}, 1091 publisher = ACM, 1092 address = ACMADDR, 1093 } 1094 1095 @article{ST87:jacm, 1096 author = "T. K. Srikanth and Sam Toueg", 1097 title = "Optimal clock synchronization", 1098 journal = JACM, 1099 volume = 34, 1100 number = 3, 1101 year = 1987, 1102 pages = "626--645" 1103 } 1104 1105 @article{ST87:dc, 1106 author = {T. K. Srikanth and Sam Toueg,}, 1107 title = {Simulating authenticated broadcasts to derive simple fault-tolerant algorithms}, 1108 journal = DC, 1109 volume = {2}, 1110 number = {2}, 1111 year = {1987}, 1112 pages = {80-94} 1113 } 1114 1115 1116 @inproceedings{SW89:stacs, 1117 author = {Santoro, Nicola and Widmayer, Peter}, 1118 title = {Time is not a healer}, 1119 booktitle = {Proc.\ 6th Annual Symposium on Theor.\ Aspects of 1120 Computer Science (STACS'89)}, 1121 publisher = "Springer-Verlag", 1122 series = {LNCS}, 1123 volume = "349", 1124 address = "Paderborn, Germany", 1125 pages = "304-313", 1126 year = "1989", 1127 month = feb, 1128 } 1129 1130 @inproceedings{SW90:sigal, 1131 author = {Nicola Santoro and Peter Widmayer}, 1132 title = {Distributed Function Evaluation in the Presence of 1133 Transmission Faults.}, 1134 booktitle = {SIGAL International Symposium on Algorithms}, 1135 year = {1990}, 1136 pages = {358-367} 1137 } 1138 1139 @inproceedings{SWR02:icdcs, 1140 author = {Ulrich Schmid and Bettina Weiss and John Rushby}, 1141 title = {Formally Verified Byzantine Agreement in Presence of 1142 Link Faults}, 1143 booktitle = "22nd International Conference on Distributed 1144 Computing Systems (ICDCS'02)", 1145 year = 2002, 1146 month = jul # " 2-5, ", 1147 pages = "608--616", 1148 address = "Vienna, Austria", 1149 } 1150 1151 @incollection{Sch93a:mullender, 1152 Author = {F. B. Schneider}, 1153 Title = {What Good are Models and What Models are Good}, 1154 BookTitle = {Distributed Systems}, 1155 Year = {1993}, 1156 Editor = {Sape Mullender}, 1157 Publisher = {ACM Press}, 1158 Pages = {169-197}, 1159 } 1160 1161 @article{VL96:ic, 1162 author = {George Varghese and Nancy A. Lynch}, 1163 title = {A Tradeoff Between Safety and Liveness for 1164 Randomized Coordinated Attack.}, 1165 journal = {Inf. Comput.}, 1166 volume = {128}, 1167 number = {1}, 1168 year = 1996, 1169 pages = {57--71} 1170 } 1171 1172 @inproceedings{WGWB07:dsn, 1173 title = {Synchronous Consensus with Mortal Byzantines}, 1174 author = {Josef Widder and Günther Gridling and Bettina Weiss 1175 and Jean-Paul Blanquart}, 1176 year = {2007}, 1177 booktitle = DSN07, 1178 publisher = IEEE 1179 } 1180 1181 @inproceedings{Wid03:disc, 1182 author = {Josef Widder}, 1183 title = {Booting clock Synchronization in Partially 1184 Synchronous Systems}, 1185 booktitle = DISC03, 1186 year = {2003}, 1187 pages = {121--135} 1188 } 1189 1190 @techreport{Zie04:tr, 1191 author = {Piotr Zieli{\'n}ski}, 1192 title = {Paxos at War}, 1193 institution = {University of Cambridge}, 1194 year = {2004}, 1195 number = {UCAM-CL-TR-593}, 1196 } 1197 1198 @article{Lam78:cacm, 1199 author = {Leslie Lamport}, 1200 title = {Time, clocks, and the ordering of events in a 1201 distributed system}, 1202 journal = {Commun. ACM}, 1203 year = {1978}, 1204 } 1205 1206 @Article{Gue06:cj, 1207 author = {Guerraoui, R. and Raynal, M.}, 1208 journal = {The {C}omputer {J}ournal}, 1209 title = {The {A}lpha of {I}ndulgent {C}onsensus}, 1210 year = {2006} 1211 } 1212 1213 @Article{Gue03:toc, 1214 affiliation = {EPFL}, 1215 author = {Guerraoui, Rachid and Raynal, Michel}, 1216 journal = {{IEEE} {T}rans. on {C}omputers}, 1217 title = {The {I}nformation {S}tructure of {I}ndulgent {C}onsensus}, 1218 year = {2004}, 1219 } 1220 1221 @techreport{Cas00, 1222 author = {Castro, Miguel}, 1223 title = {Practical {B}yzantine Fault-Tolerance. {PhD} thesis}, 1224 institution = {MIT}, 1225 year = 2000, 1226 } 1227 1228 @inproceedings{SongRSD08:icdcn, 1229 author = {Yee Jiun Song and 1230 Robbert van Renesse and 1231 Fred B. Schneider and 1232 Danny Dolev}, 1233 title = {The Building Blocks of Consensus}, 1234 booktitle = {ICDCN}, 1235 year = {2008}, 1236 } 1237 1238 1239 @inproceedings{BS09:icdcn, 1240 author = {Borran, Fatemeh and Schiper, Andr{\'e}}, 1241 1242 title = {A {L}eader-free {B}yzantine {C}onsensus {A}lgorithm}, 1243 note = {To appear in ICDCN, 2010}, 1244 } 1245 1246 1247 @inproceedings{MHS09:opodis, 1248 author = {Zarko Milosevic and Martin Hutle and Andr{\'e} 1249 Schiper}, 1250 title = {Unifying {B}yzantine Consensus Algorithms with {W}eak 1251 {I}nteractive {C}onsistency}, 1252 note = {To appear in OPODIS 2009}, 1253 } 1254 1255 @inproceedings{MRR:dsn02, 1256 author = {Most\'{e}faoui, Achour and Rajsbaum, Sergio and Raynal, Michel}, 1257 title = {A Versatile and Modular Consensus Protocol}, 1258 booktitle = {DSN}, 1259 year = {2002}, 1260 } 1261 1262 @article{MR98:dc, 1263 author = {Dahlia Malkhi and 1264 Michael K. Reiter}, 1265 title = {Byzantine Quorum Systems}, 1266 journal = {Distributed Computing}, 1267 year = {1998}, 1268 } 1269 1270 @inproceedings{Rei:ccs94, 1271 author = {Reiter, Michael K.}, 1272 title = {Secure agreement protocols: reliable and atomic group multicast in rampart}, 1273 booktitle = {CCS}, 1274 year = {1994}, 1275 pages = {68--80}, 1276 numpages = {13} 1277 } 1278 1279 1280 @techreport{RMS09-tr, 1281 author = {Olivier R\"utti and Zarko Milosevic and Andr\'e Schiper}, 1282 title = {{G}eneric construction of consensus algorithm for benign and {B}yzantine faults}, 1283 institution = {EPFL-IC}, 1284 number = {LSR-REPORT-2009-005}, 1285 year = 2009, 1286 } 1287 1288 @inproceedings{Li:srds07, 1289 author = {Li, Harry C. and Clement, Allen and Aiyer, Amitanand S. and Alvisi, Lorenzo}, 1290 title = {The Paxos Register}, 1291 booktitle = {SRDS}, 1292 year = {2007}, 1293 } 1294 1295 @article{Amir11:prime, 1296 author = {Amir, Yair and Coan, Brian and Kirsch, Jonathan and Lane, John}, 1297 title = {Prime: Byzantine Replication under Attack}, 1298 journal = {IEEE Trans. Dependable Secur. Comput.}, 1299 issue_date = {July 2011}, 1300 volume = {8}, 1301 number = {4}, 1302 month = jul, 1303 year = {2011}, 1304 issn = {1545-5971}, 1305 pages = {564--577}, 1306 numpages = {14}, 1307 publisher = {IEEE Computer Society Press}, 1308 address = {Los Alamitos, CA, USA}, 1309 keywords = {Performance under attack, Byzantine fault tolerance, replicated state machines, distributed systems.}, 1310 } 1311 1312 @inproceedings{Mao08:mencius, 1313 author = {Mao, Yanhua and Junqueira, Flavio P. and Marzullo, Keith}, 1314 title = {Mencius: building efficient replicated state machines for WANs}, 1315 booktitle = {OSDI}, 1316 year = {2008}, 1317 pages = {369--384}, 1318 numpages = {16} 1319 } 1320 1321 @article{Sch90:survey, 1322 author = {Schneider, Fred B.}, 1323 title = {Implementing fault-tolerant services using the state machine approach: a tutorial}, 1324 journal = {ACM Comput. Surv.}, 1325 volume = {22}, 1326 number = {4}, 1327 month = dec, 1328 year = {1990} 1329 } 1330 1331 1332 @techreport{HT94:TR, 1333 author = {Hadzilacos, Vassos and Toueg, Sam}, 1334 title = {A Modular Approach to Fault-Tolerant Broadcasts and Related Problems}, 1335 year = {1994}, 1336 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Acornellcs%3ACORNELLCS%3ATR94-1425}, 1337 publisher = {Cornell University}, 1338 address = {Ithaca, NY, USA}, 1339 } 1340 1341 @inproceedings{Ver09:spinning, 1342 author = {Veronese, Giuliana Santos and Correia, Miguel and Bessani, Alysson Neves and Lung, Lau Cheuk}, 1343 title = {Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary}, 1344 booktitle = {SRDS}, 1345 year = {2009}, 1346 numpages = {10} 1347 } 1348 1349 @inproceedings{Cle09:aardvark, 1350 author = {Clement, Allen and Wong, Edmund and Alvisi, Lorenzo and Dahlin, Mike and Marchetti, Mirco}, 1351 title = {Making Byzantine fault tolerant systems tolerate Byzantine faults}, 1352 booktitle = {NSDI}, 1353 year = {2009}, 1354 pages = {153--168}, 1355 numpages = {16} 1356 } 1357 1358 @inproceedings{Aiyer05:barB, 1359 author = {Aiyer, Amitanand S. and Alvisi, Lorenzo and Clement, Allen and Dahlin, Mike and Martin, Jean-Philippe and Porth, Carl}, 1360 title = {BAR fault tolerance for cooperative services}, 1361 booktitle = {SOSP}, 1362 year = {2005}, 1363 pages = {45--58}, 1364 numpages = {14} 1365 } 1366 1367 @inproceedings{Cach01:crypto, 1368 author = {Cachin, Christian and Kursawe, Klaus and Petzold, Frank and Shoup, Victor}, 1369 title = {Secure and Efficient Asynchronous Broadcast Protocols}, 1370 booktitle = {CRYPTO}, 1371 year = {2001}, 1372 pages = {524--541}, 1373 numpages = {18} 1374 } 1375 1376 @article{Moniz11:ritas, 1377 author = {Moniz, Henrique and Neves, Nuno Ferreria and Correia, Miguel and Verissimo, Paulo}, 1378 title = {RITAS: Services for Randomized Intrusion Tolerance}, 1379 journal = {IEEE Trans. Dependable Secur. Comput.}, 1380 volume = {8}, 1381 number = {1}, 1382 month = jan, 1383 year = {2011}, 1384 pages = {122--136}, 1385 numpages = {15} 1386 } 1387 1388 @inproceedings{MHS11:jabc, 1389 author = {Milosevic, Zarko and Hutle, Martin and Schiper, Andre}, 1390 title = {On the Reduction of Atomic Broadcast to Consensus with Byzantine Faults}, 1391 booktitle = {SRDS}, 1392 year = {2011}, 1393 pages = {235--244}, 1394 numpages = {10} 1395 } 1396 1397 @incollection{DHSZ03, 1398 author={Driscoll, Kevin and Hall, Brendan and Sivencrona, Håkan and Zumsteg, Phil}, 1399 title={Byzantine Fault Tolerance, from Theory to Reality}, 1400 year={2003}, 1401 booktitle={Computer Safety, Reliability, and Security}, 1402 volume={2788}, 1403 pages={235--248} 1404 } 1405 1406 @inproceedings{RMES:dsn07, 1407 author = {Olivier R{\"u}tti and 1408 Sergio Mena and 1409 Richard Ekwall and 1410 Andr{\'e} Schiper}, 1411 title = {On the Cost of Modularity in Atomic Broadcast}, 1412 booktitle = {DSN}, 1413 year = {2007}, 1414 pages = {635-644} 1415 } 1416 1417 @article{Ben:jc92, 1418 author = {Charles H. Bennett and 1419 Fran\c{c}ois Bessette and 1420 Gilles Brassard and 1421 Louis Salvail and 1422 John A. Smolin}, 1423 title = {Experimental Quantum Cryptography}, 1424 journal = {J. Cryptology}, 1425 volume = {5}, 1426 number = {1}, 1427 year = {1992}, 1428 pages = {3-28} 1429 } 1430 1431 @inproceedings{Aiyer:disc08, 1432 author = {Aiyer, Amitanand S. and Alvisi, Lorenzo and Bazzi, Rida A. and Clement, Allen}, 1433 title = {Matrix Signatures: From MACs to Digital Signatures in Distributed Systems}, 1434 booktitle = {DISC}, 1435 year = {2008}, 1436 pages = {16--31}, 1437 numpages = {16} 1438 } 1439 1440 @inproceedings{Biel13:dsn, 1441 author = {Biely, Martin and Delgado, Pamela and Milosevic, Zarko and Schiper, Andr{\'e}}, 1442 title = {Distal: A Framework for Implementing Fault-tolerant Distributed Algorithms}, 1443 note = {To appear in DSN, 2013}, 1444 year = 2013 1445 } 1446 1447 @inproceedings{BS10:icdcn, 1448 author = {Borran, Fatemeh and Schiper, Andr{\'e}}, 1449 title = {A leader-free Byzantine consensus algorithm}, 1450 booktitle = {ICDCN}, 1451 year = {2010}, 1452 pages = {67--78}, 1453 numpages = {12} 1454 } 1455 1456 @article{Cor06:cj, 1457 author = {Correia, Miguel and Neves, Nuno Ferreira and Ver\'{\i}ssimo, Paulo}, 1458 title = {From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures}, 1459 journal = {Comput. J.}, 1460 volume = {49}, 1461 number = {1}, 1462 year = {2006}, 1463 pages = {82--96}, 1464 numpages = {15} 1465 } 1466 1467 @inproceedings{RMS10:dsn, 1468 author = {Olivier R{\"u}tti and 1469 Zarko Milosevic and 1470 Andr{\'e} Schiper}, 1471 title = {Generic construction of consensus algorithms for benign 1472 and Byzantine faults}, 1473 booktitle = {DSN}, 1474 year = {2010}, 1475 pages = {343-352} 1476 } 1477 1478 1479 1480 @inproceedings{HKJR:usenix10, 1481 author = {Hunt, Patrick and Konar, Mahadev and Junqueira, Flavio P. and Reed, Benjamin}, 1482 title = {ZooKeeper: wait-free coordination for internet-scale systems}, 1483 OPTbooktitle = {Proceedings of the 2010 USENIX conference on USENIX annual technical conference}, 1484 booktitle = {USENIXATC}, 1485 year = {2010}, 1486 OPTlocation = {Boston, MA}, 1487 pages = {11}, 1488 numpages = {1}, 1489 OPTurl = {http://dl.acm.org/citation.cfm?id=1855840.1855851}, 1490 acmid = {1855851}, 1491 OPTpublisher = {USENIX Association}, 1492 OPTaddress = {Berkeley, CA, USA}, 1493 } 1494 1495 @inproceedings{Bur:osdi06, 1496 author = {Burrows, Mike}, 1497 title = {The Chubby lock service for loosely-coupled distributed systems}, 1498 booktitle = {OSDI}, 1499 year = {2006}, 1500 pages = {335--350}, 1501 numpages = {16}, 1502 } 1503 1504 @INPROCEEDINGS{Mao09:hotdep, 1505 author = {Yanhua Mao and Flavio P. Junqueira and Keith Marzullo}, 1506 title = {Towards low latency state machine replication for uncivil wide-area networks}, 1507 booktitle = {HotDep}, 1508 year = {2009} 1509 } 1510 1511 @inproceedings{Chun07:a2m, 1512 author = {Chun, Byung-Gon and Maniatis, Petros and Shenker, Scott and Kubiatowicz, John}, 1513 title = {Attested append-only memory: making adversaries stick to their word}, 1514 booktitle = {SOSP}, 1515 year = {2007}, 1516 pages = {189--204}, 1517 numpages = {16} 1518 } 1519 1520 @TECHREPORT{MBS:epfltr, 1521 author = {Zarko Milosevic and Martin Biely and Andr\'e Schiper}, 1522 title = {Bounded {D}elay in {B}yzantine {T}olerant {S}tate {M}achine {R}eplication}, 1523 year = 2013, 1524 month = april, 1525 institution = {EPFL}, 1526 number = {185962}, 1527 } 1528 1529 @book{BH09:datacenter, 1530 author = {Barroso, Luiz Andre and Hoelzle, Urs}, 1531 title = {The Datacenter as a Computer: An Introduction to the Design of Warehouse-Scale Machines}, 1532 year = {2009}, 1533 isbn = {159829556X, 9781598295566}, 1534 edition = {1st}, 1535 publisher = {Morgan and Claypool Publishers}, 1536 } 1537 1538 @inproceedings{Kir11:csiirw, 1539 author = {Kirsch, Jonathan and Goose, Stuart and Amir, Yair and Skare, Paul}, 1540 title = {Toward survivable SCADA}, 1541 booktitle = {CSIIRW}, 1542 year = {2011}, 1543 pages = {21:1--21:1}, 1544 articleno = {21}, 1545 numpages = {1} 1546 } 1547 1548 @inproceedings{Ongaro14:raft, 1549 author = {Ongaro, Diego and Ousterhout, John}, 1550 title = {In Search of an Understandable Consensus Algorithm}, 1551 booktitle = {Proceedings of the 2014 USENIX Conference on USENIX Annual Technical Conference}, 1552 series = {USENIX ATC'14}, 1553 year = {2014}, 1554 isbn = {978-1-931971-10-2}, 1555 location = {Philadelphia, PA}, 1556 pages = {305--320}, 1557 numpages = {16}, 1558 url = {http://dl.acm.org/citation.cfm?id=2643634.2643666}, 1559 acmid = {2643666}, 1560 publisher = {USENIX Association}, 1561 address = {Berkeley, CA, USA}, 1562 } 1563 1564 @article{GLR17:red-belly-bc, 1565 author = {Tyler Crain and 1566 Vincent Gramoli and 1567 Mikel Larrea and 1568 Michel Raynal}, 1569 title = {Leader/Randomization/Signature-free Byzantine Consensus for Consortium 1570 Blockchains}, 1571 journal = {CoRR}, 1572 volume = {abs/1702.03068}, 1573 year = {2017}, 1574 url = {http://arxiv.org/abs/1702.03068}, 1575 archivePrefix = {arXiv}, 1576 eprint = {1702.03068}, 1577 timestamp = {Wed, 07 Jun 2017 14:41:08 +0200}, 1578 biburl = {http://dblp.org/rec/bib/journals/corr/CrainGLR17}, 1579 bibsource = {dblp computer science bibliography, http://dblp.org} 1580 } 1581 1582 1583 @misc{Nak2012:bitcoin, 1584 added-at = {2014-04-17T08:33:06.000+0200}, 1585 author = {Nakamoto, Satoshi}, 1586 biburl = {https://www.bibsonomy.org/bibtex/23db66df0fc9fa2b5033f096a901f1c36/ngnn}, 1587 interhash = {423c2cdff70ba0cd0bca55ebb164d770}, 1588 intrahash = {3db66df0fc9fa2b5033f096a901f1c36}, 1589 keywords = {imported}, 1590 timestamp = {2014-04-17T08:33:06.000+0200}, 1591 title = {Bitcoin: A peer-to-peer electronic cash system}, 1592 url = {http://www.bitcoin.org/bitcoin.pdf}, 1593 year = 2009 1594 } 1595 1596 @misc{But2014:ethereum, 1597 author = {Vitalik Buterin}, 1598 title = {Ethereum: A next-generation smart contract and decentralized application platform}, 1599 year = {2014}, 1600 howpublished = {\url{https://github.com/ethereum/wiki/wiki/White-Paper}}, 1601 note = {Accessed: 2018-07-11}, 1602 url = {https://github.com/ethereum/wiki/wiki/White-Paper}, 1603 } 1604 1605 @inproceedings{Dem1987:gossip, 1606 author = {Demers, Alan and Greene, Dan and Hauser, Carl and Irish, Wes and Larson, John and Shenker, Scott and Sturgis, Howard and Swinehart, Dan and Terry, Doug}, 1607 title = {Epidemic Algorithms for Replicated Database Maintenance}, 1608 booktitle = {Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing}, 1609 series = {PODC '87}, 1610 year = {1987}, 1611 isbn = {0-89791-239-X}, 1612 location = {Vancouver, British Columbia, Canada}, 1613 pages = {1--12}, 1614 numpages = {12}, 1615 url = {http://doi.acm.org/10.1145/41840.41841}, 1616 doi = {10.1145/41840.41841}, 1617 acmid = {41841}, 1618 publisher = {ACM}, 1619 address = {New York, NY, USA}, 1620 } 1621 1622 @article{Gue2018:sbft, 1623 author = {Guy Golan{-}Gueta and 1624 Ittai Abraham and 1625 Shelly Grossman and 1626 Dahlia Malkhi and 1627 Benny Pinkas and 1628 Michael K. Reiter and 1629 Dragos{-}Adrian Seredinschi and 1630 Orr Tamir and 1631 Alin Tomescu}, 1632 title = {{SBFT:} a Scalable Decentralized Trust Infrastructure for Blockchains}, 1633 journal = {CoRR}, 1634 volume = {abs/1804.01626}, 1635 year = {2018}, 1636 url = {http://arxiv.org/abs/1804.01626}, 1637 archivePrefix = {arXiv}, 1638 eprint = {1804.01626}, 1639 timestamp = {Tue, 01 May 2018 19:46:29 +0200}, 1640 biburl = {https://dblp.org/rec/bib/journals/corr/abs-1804-01626}, 1641 bibsource = {dblp computer science bibliography, https://dblp.org} 1642 } 1643 1644 @inproceedings{BLS2001:crypto, 1645 author = {Boneh, Dan and Lynn, Ben and Shacham, Hovav}, 1646 title = {Short Signatures from the Weil Pairing}, 1647 booktitle = {Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology}, 1648 series = {ASIACRYPT '01}, 1649 year = {2001}, 1650 isbn = {3-540-42987-5}, 1651 pages = {514--532}, 1652 numpages = {19}, 1653 url = {http://dl.acm.org/citation.cfm?id=647097.717005}, 1654 acmid = {717005}, 1655 publisher = {Springer-Verlag}, 1656 address = {Berlin, Heidelberg}, 1657 } 1658 1659