A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm (1999)

by Miguel Castro , Barbara Liskov
Citations:20 - 4 self

Active Bibliography

248 Practical Byzantine fault tolerance and proactive recovery – Miguel Castro, Barbara Liskov - 2002
23 Authenticated Byzantine Fault Tolerance without Public-Key Cryptography – Miguel Castro, Barbara Liskov - 1999
476 Practical Byzantine Fault Tolerance – Miguel Castro, Barbara Loskov
59 Secure and efficient asynchronous broadcast protocols (Extended Abstract) – Christian Cachin, Klaus Kursawe, Frank Petzold, Victor Shoup - 2001
34 Rosebud: A Scalable Byzantine-Fault-Tolerant Storage Architecture – Rodrigo Rodrigues, Barbara Liskov - 2003
14 Developing a heterogeneous intrusion tolerant CORBA system – David Sames, Brian Matt, Brian Niebuhr, Tally Brent - 2002
Intrusion Tolerant Distributed Object Systems – David Sames, Brian Matt, Brian Niebuhr, Tally Brent, David Bakken
110 Separating agreement from execution for byzantine fault tolerant services – Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, Mike Dahlin - 2003
6 Tolerating latency in replicated state machines through client speculation – Benjamin Wester, Peter M. Chen, James Cowling, Jason Flinn, Edmund B. Nightingale, Barbara Liskov
13 Intrusion-Tolerant Enclaves – Bruno Dutertre, Valentin Crettaz, Victoria Stavridou, Bruno Dutertre Valentin Crettaz - 2002
2 Combining Abstraction with Byzantine Fault-Tolerance – Rodrigo Rodrigues - 2001
120 Proactive Recovery in a Byzantine-Fault-Tolerant System – Miguel Castro, Barbara Liskov - 2000
2 Prophecy: Using History for High-Throughput Fault Tolerance – Siddhartha Sen, Wyatt Lloyd, Michael J. Freedman - 2010
Education – Wyatt Lloyd, Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen, Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen, Wyatt Lloyd, Michael J. Freedman, Siddhartha Sen, Wyatt Lloyd, Michael J. Freedman - 2012
2 Using a Byzantine-Fault-Tolerant Algorithm to Provide a Secure DNS – Zheng Yang - 1995
3 ZZ and the Art of Practical BFT Execution – Timothy Wood, Rahul Singh, Arun Venkataramani, Prashant Shenoy, Emmanuel Cecchet
3 From Byzantine Agreement to Practical Survivability – Dahlia Malkhi - 2002
Tradeoffs in Byzantine-Fault-Tolerant State-Machine-Replication Protocol Design – Michael G. Merideth - 2008
32 Distributing Trust on the Internet – Christian Cachin - 2000