Lorenzo Alvisi

Ittay Eyal

IACR Cryptol. ePrint Arch., 2022

2021

Building Systems of Systems with Escher.

[BibT_eX]

[DOI]

Burcu Canakci

Robbert van Renesse

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

Basil: Breaking up BFT with ACID (transactions).

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020

Byzantine Ordered Consensus without Byzantine Oligarchy.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Scalog: Seamless Reconfiguration and Total Order in a Scalable Shared Log.

[BibT_eX]

[DOI]

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

2019

Edsger W. Dijkstra Prize in Distributed Computing 2019 - Call for Nominations.

[BibT_eX]

[DOI]

Bull. EATCS, 2019

2019 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

2018 Doctoral Dissertation Award.

[BibT_eX]

[DOI]

Idit Keidar

Andréa W. Richa

Alexander A. Schwarzmann

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Obladi: Oblivious Serializable Transactions in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

Writes: the dirty secret of causal consistency.

[BibT_eX]

[DOI]

Natacha Crooks

Syed Akbar Mehdi

IEEE Data Eng. Bull., 2017

Revisiting Fast Practical Byzantine Fault Tolerance.

[BibT_eX]

[DOI]

CoRR, 2017

Privacy-Preserving Data Analysis for the Federal Statistical Agencies.

[BibT_eX]

[DOI]

Ashwin Machanavajjhala

Jerome P. Reiter

CoRR, 2017

Bringing Modular Concurrency Control to the Next Level.

[BibT_eX]

[DOI]

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Pretzel: Email encryption and provider-supplied functions are compatible.

[BibT_eX]

[DOI]

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Seeing is Believing: A Client-Centric Specification of Database Isolation.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

I Can't Believe It's Not Causal! Scalable Causal Consistency with No Slowdown Cascades.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016

Seeing is Believing: A Unified Model for Consistency and Isolation via States.

[BibT_eX]

[DOI]

CoRR, 2016

TARDiS: A Branch-and-Merge Approach To Weak Consistency.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Management of Data, 2016

Scalable and Private Media Consumption with Popcorn.

[BibT_eX]

[DOI]

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation, 2016

2015

Scalable and private media consumption with Popcorn.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

High-performance ACID via modular concurrency control.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

Communities, Random Walks, and Social Sybil Defense.

[BibT_eX]

[DOI]

Internet Math., 2014

Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Systems and Storage, 2014

Salt: Combining ACID and BASE in a Distributed Database.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013

SoK: The Evolution of Sybil Defense via Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

What's a little collusion between friends?

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Robustness in the Salus Scalable Block Store.

[BibT_eX]

[DOI]

Jeevitha Kirubanandam

Mike Dahlin

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

Reasoning with MAD Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Gnothi: Separating Data and Metadata for Efficient and Available Storage Replication.

[BibT_eX]

[DOI]

Yang Wang

Mike Dahlin

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

All about Eve: Execute-Verify Replication for Multi-Core Servers.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2011

Depot: Cloud Storage with Minimal Trust.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2011

Distributed computing meets game theory: combining insights from two fields.

[BibT_eX]

[DOI]

Ittai Abraham

Joseph Y. Halpern

SIGACT News, 2011

Special issue on PODC 2009.

[BibT_eX]

[DOI]

Distributed Comput., 2011

Regret Freedom Isn't Free.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

2010

Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

It's on Me! The Benefit of Altruism in BAR Environments.

[BibT_eX]

[DOI]

Joshua B. Leners

Proceedings of the Distributed Computing, 24th International Symposium, 2010

2009

Practical and low-overhead masking of failures of TCP-based servers.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2009

Zyzzyva: Speculative Byzantine fault tolerance.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2009

The 2009 Edsger W. Dijkstra Prize in Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 23rd International Symposium, 2009

Model Checking Coalition Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2009

Upright cluster services.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults.

[BibT_eX]

[DOI]

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Matrix Signatures: From MACs to Digital Signatures in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

FlightPath: Obedience vs. Choice in Cooperative Services.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

BFT: the time is now.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

Model Checking Nash Equilibria in MAD Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2008

BAR primer.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

How robust are gossip-based communication protocols?

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2007

Bounded Wait-Free Implementation of Optimally Resilient Byzantine Storage Without (Unproven) Cryptographic Assumptions.

[BibT_eX]

[DOI]

Rida A. Bazzi

Proceedings of the Distributed Computing, 21st International Symposium, 2007

SafeStore: A Durable and Practical Storage System.

[BibT_eX]

[DOI]

Ramakrishna Kotla

Michael Dahlin

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

The Paxos Register.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Truth in advertising: lightweight verification of route integrity.

[BibT_eX]

[DOI]

Praveen Balasubramanian

Mohamed G. Gouda

Vitaly Shmatikov

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Theory of BAR games.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

BAR - Where Distributed Computing Meets Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006

Correction to "Fast Byzantine Consensus".

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2006

Fast Byzantine Consensus.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2006

Byzantine and Multi-writer K-Quorums.

[BibT_eX]

[DOI]

Rida A. Bazzi

Proceedings of the Distributed Computing, 20th International Symposium, 2006

BAR Gossip.

[BibT_eX]

[DOI]

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

Key Grids: A Protocol Family for Assigning Symmetric Keys.

[BibT_eX]

[DOI]

Mohamed G. Gouda

Proceedings of the 14th IEEE International Conference on Network Protocols, 2006

2005

Improving the Performance of Software Distributed Shared Memory with Speculation.

[BibT_eX]

[DOI]

Michael Kistler

IEEE Trans. Parallel Distributed Syst., 2005

On the Availability of Non-strict Quorum Systems.

[BibT_eX]

[DOI]

Rida A. Bazzi

Proceedings of the Distributed Computing, 19th International Conference, 2005

BAR fault tolerance for cooperative services.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

Dual-Quorum Replication for Edge Services.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28, 2005

2004

A Framework for Dynamic Byzantine Storage.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Scalable causal message logging for wide-area environments.

[BibT_eX]

[DOI]

Karan Bhatia

Concurr. Comput. Pract. Exp., 2003

Separating agreement from execution for byzantine fault tolerant services.

[BibT_eX]

[DOI]

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

A Fault-Tolerant Java Virtual Machine.

[BibT_eX]

[DOI]

Jeff Napper

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Towards a Practical Approach to Confidential Byzantine Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Engineering web cache consistency.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2002

Causality tracking in causal message-logging protocols.

[BibT_eX]

[DOI]

Karan Bhatia

Distributed Comput., 2002

A survey of rollback-recovery protocols in message-passing systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2002

Minimal Byzantine Storage.

[BibT_eX]

[DOI]

Michael Dahlin

Proceedings of the Distributed Computing, 16th International Conference, 2002

Half-Pipe Anchoring: An Efficient Technique for Multiple Connection Handoff.

[BibT_eX]

[DOI]

Ravi Kokku

Ramakrishnan Rajamony

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic.

[BibT_eX]

[DOI]

Premkishore Shivakumar

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Small Byzantine Quorum Systems.

[BibT_eX]

[DOI]

Michael Dahlin

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Fault Detection for Byzantine Quorum Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2001

Engineering server-driven consistency for large scale dynamic Web services.

[BibT_eX]

[DOI]

Proceedings of the Tenth International World Wide Web Conference, 2001

C0PE: Consistent 0-Administration Personal Environment.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

A framework for semantic reasoning about Byzantine quorum systems.

[BibT_eX]

[DOI]

Evelyn Tumlin Pierce

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Heterogeneous networking: a new survivability paradigm.

[BibT_eX]

[DOI]

Proceedings of the New Security Paradigms Workshop 2001, 2001

Wrapping Server-Side TCP to Mask Connection Failures.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2001, 2001

2000

The Cost of Recovery in Message Logging Protocols.

[BibT_eX]

[DOI]

Sriram Rao

IEEE Trans. Knowl. Data Eng., 2000

Dynamic Byzantine Quorum Systems.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Volume Leases for Consistency in Large-Scale Systems.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Hierarchical Cache Consistency in a WAN.

[BibT_eX]

[DOI]

Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance.

[BibT_eX]

[DOI]

Sriram Rao

Proceedings of the Digest of Papers: FTCS-29, 1999

An Analysis of Communication Induced Checkpointing.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Message Logging: Pessimistic, Optimistic, Causal, and Optimal.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

The Relative Overhead of Piggybacking in Causal Message Logging Protocols.

[BibT_eX]

[DOI]

Karan Bhatia

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Using Leases to Support Server-Driven Consistency in Large-Scale Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Low-Overhead Protocols for Fault-Tolerant File Sharing.

[BibT_eX]

[DOI]

Sriram Rao

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Fault-Tolerance: Java's Missing Buzzword.

[BibT_eX]

[DOI]

Proceedings of the Seventh Heterogeneous Computing Workshop, 1998

1997

Seuss: What the Doctor Ordered.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996

Understanding the Message Logging Paradigm for Masking Process Crashes.

[BibT_eX]

PhD thesis, 1996

Parallel Computing in Networks of Workstations with Paralex.

[BibT_eX]

[DOI]

Renzo Davoli

Luigi-Alberto Giachini

Özalp Babaoglu

Alessandro Amoroso

IEEE Trans. Parallel Distributed Syst., 1996

Trade-Offs in Implementing Optimal Message Logging Protocols.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

Message Logging: Pessimistic, Optimistic, and Causal.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1994

Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993

Nonblocking and Orphan-Free Message Logging Protocols.

[BibT_eX]

[DOI]

Bruce Hoppe

Proceedings of the Digest of Papers: FTCS-23, 1993

1992

Paralex: an environment for parallel programming in distributed systems.

[BibT_eX]

[DOI]

Luigi-Alberto Giachini

Proceedings of the 6th international conference on Supercomputing, 1992

1989

On the two array mask hidden-line algorithm.

[BibT_eX]

[DOI]