Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments

Reference. Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments

Dimitra Giantsidi, Emmanouil Giortamis, Julian Pritzi, Maurice Bailleu, Manos Kapritsos, Pramod Bhatotia · Middleware · 2025 · distributed-systems · DOI · arXiv

Cite

Cite as @giantsidi-2025-recipe (helia, typst) · \cite{giantsidi-2025-recipe} (LaTeX)

BibTeX

bibtex · 1 line

@inproceedings{giantsidi-2025-recipe, series={MIDDLEWARE ’25}, title={Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments}, url={http://dx.doi.org/10.1145/3721462.3770763}, DOI={10.1145/3721462.3770763}, booktitle={Proceedings of the 26th International Middleware Conference}, publisher={ACM}, author={Giantsidi, Dimitra and Giortamis, Emmanouil and Pritzi, Julian and Bailleu, Maurice and Kapritsos, Manos and Bhatotia, Pramod}, year={2025}, month=Dec, pages={1–15}, collection={MIDDLEWARE ’25} }

hayagriva YAML (typst)

yaml · 22 lines

giantsidi-2025-recipe:
  type: article
  title: 'Recipe: Hardware-Accelerated Replication Protocols: Rethinking Crash Fault Tolerance Protocols for Untrusted Cloud Environments'
  author:
  - Giantsidi, Dimitra
  - Giortamis, Emmanouil
  - Pritzi, Julian
  - Bailleu, Maurice
  - Kapritsos, Manos
  - Bhatotia, Pramod
  date: 2025-12
  page-range: 1-15
  url: http://dx.doi.org/10.1145/3721462.3770763
  serial-number:
    doi: 10.1145/3721462.3770763
  parent:
    type: proceedings
    title: Proceedings of the 26th International Middleware Conference
    publisher: ACM
    parent:
      type: proceedings
      title: MIDDLEWARE ’25

Download: giantsidi-2025-recipe.bib · giantsidi-2025-recipe.yml

Cites 141 works (1 here)

With notes (1)

Bootstrapping Trust in Modern Computers parno-2011-bootstrappingSpringerBriefs in Computer Science · 2011

DOI

External (140)

3 Pillars of Data Security: Confidentiality, Integrity and Availability (2025)
Alibaba Cloud: Blockchain as a service (2025)
Blockchain on AWS (2025)
Dataproc Confidential Compute (2025)
Encrypt workload data in-use with Confidential Google Kubernetes Engine Nodes (2025)
Hess corporation case study (2025)
Hyperledger fabric ordering service (2025)
Ordering service implementations (2025)
SGX Monotonic Counters not supported (2025)
Unable to find Alternatives to Monotonic Counter Application Programming Interfaces (APIs) in Intel Software Guard Extensions (Intel SGX) for Linux to Prevent Sealing Rollback Attacks (2025)
Rollbaccine: Herd immunity against storage rollback attacks in tees [technical report] (2025)
TNIC: A Trusted NIC Architecture: A hardware-network substrate for building high-performance trustworthy distributed systems, page (2025)
BFT-smart in Hyperledger Fabric (2025)
RDMA Aware Networks Programming User Manual (2025)
Achilles: Efficient TEE-Assisted BFT Consensus via Rollback Resilient Recovery (2025)
Beyond the hipaa privacy rule: Enhancing privacy, improving health through research (2025)
Confidential serverless computing (2025)
Case study: GE healthcare takes DynamoDB on-premises with ScyllaDB's "project alternator" (2025)
The history of databases at Netflix and how they use CockroachDB (2025)
How are databases used in banking? (2025)
OneShot: View-Adapting Streamlined BFT Protocols with Trusted Execution Environments (2024)
Autobahn: Seamless high speed BFT (2024)
Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX (2024)
Bigger, not badder: Safely scaling BFT protocols (2024)
Gramine-TDX: A lightweight OS kernel for confidential VMs (2024)
Empowering Azure storage with RDMA (2023)
FlexLog: A Shared Log for Stateful Serverless Computing (2023)
Dissecting BFT Consensus: In Trusted Components we Trust! (2023)
Anchor: A Library for Building Secure Persistent Memory Systems (2023)
NeoBFT: Accelerating Byzantine Fault Tolerance Using Authenticated In-Network Ordering (2023)
DAMYSUS: streamlined BFT consensus leveraging trusted components (2022)
Treaty: Secure Distributed Transactions (2022)
IA-CCF: Individual accountability for permissioned ledgers (2022)
ENGRAFT: Enclave-guarded Raft on Byzantine faulty nodes (2022)
SplitBFT: Improving Byzantine fault tolerance safety using trusted compartments (2022)
Arm Confidential Compute Architecture (2021)
Attestation Service for Intel Software GuardExtensions (Intel SGX): API Documentation (2021)
AMD Secure Encrypted Virtualization (SEV) (2021)
Avocado: A secure In-Memory distributed storage system (2021)
Alibaba Cloud's Next-Generation Security Makes Gartner's Report (2021)
Odyssey: the impact of modern hardware on strongly-consistent replication protocols (2021)
CP-BDHCA: Blockchain-Based Confidentiality-Privacy Preserving Big Data Scheme for Healthcare Clouds and Applications (2021)
Introducing Google Cloud Confidential Computing with Confidential VMs (2021)
Intel Software Guard Extensions (Intel SGX) (2021)
Azure confidential computing (2021)
Keystone Open-source Secure Hardware Enclave (2021)
Basil: Breaking up BFT with ACID (transactions) (2021)
rkt-io: A direct I/O stack for shielded execution (2021)
Brief Announcement: Communication-Efficient BFT Using Small Trusted Hardware to Tolerate Minority Corruption (2021)
How big is RocksDB adoption? (2021)
iPerf - The ultimate speed test tool for TCP, UDP and SCTP (2020)
State-machine replication for planet-scale systems (extended version) (2020)
Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol (2020)
Keystone: an open framework for architecting trusted execution environments (2020)
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems (2020)
T-lease: A trusted lease primitive for distributed systems (2020)
SPEICHER: Securing LSM-based key-value stores using shielded execution (2019)
Derecho: Fast state machine replication for cloud services (2019)
Datacenter RPCs can be General and Fast (2019)
ShieldStore: Shielded In-Memory Key-Value Storage with SGX (2019)
Hot-stuff the linear, optimal-resilience, one-message bft devil (2018)
Hyperledger fabric: A distributed operating system for permissioned blockchains (2018)
The latest gossip on BFT consensus (2018)
Pala: A simple partially synchronous blockchain (2018)
Pili: An extremely simple synchronous blockchain (2018)
Capturing and enhancing in situ system observability for failure detection (2018)
EnclaveDB: A Secure Database Using SGX (2018)
RocksDB, A persistent key-value store (2018)
Distributed consensus revised (2018)
Revisiting fast practical byzantine fault tolerance (2017)
Hybrids on Steroids: SGX-Based High Performance BFT (2017)
A comprehensive symbolic analysis of TLS 1.3 (2017)
Blockchain distributed ledger technologies for biomedical and health care applications (2017)
Regaining Lost Cycles with HotCalls (2017)
High-resolution side channels for untrusted operating systems (2017)
SGXBOUNDS: Memory Safety for Shielded Execution (2017)
An algorithm for replicated objects with efficient reads (2016)
Intel SGX Explained (2016)
Automated analysis and verification of TLS 1.3: 0-RTT, resumption and delayed authentication (2016)
FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs (2016)
Scalable byzantine consensus via hardware-assisted secret sharing (2016)
Allconcur: Leaderless concurrent atomic broadcast (extended version) (2016)
GraphJet (2016)
Preventing Page Faults from Telling Your Secrets (2016)
The next 700 bft protocols (2015)
No compromises: Distributed transactions with consistency, availability, and performance (2015)
Visigoth fault tolerance (2015)
Paxos made moderately complex (2015)
FaRM: Fast remote memory (2014)
What Bugs Live in the Cloud? A Study of 3000+ Issues in Cloud Systems (2014)
In Search of an Understandable Consensus Algorithm (2014)
The TAMARIN Prover for the Symbolic Analysis of Security Protocols (2013)
Pilaf: Using One-Sided RDMA Reads to Build a Fast, CPU-Efficient Key-Value Store (2013)
There is more consensus in Egalitarian parliaments (2013)
Efficient Byzantine fault-tolerance (2013)
On the (limited) power of non-equivocation (2012)
High-Performance Design of HBase with RDMA over InfiniBand (2012)
CheapBFT: Resource-efficient Byzantine fault tolerance (2012)
From Byzantine Consensus to BFT State Machine Replication: A Latency-Optimal Transformation (2012)
TrustedDB: a trusted hardware based database with privacy and data confidentiality (2011)
Memcached Design on High Performance RDMA Capable Interconnects (2011)
Fast crash recovery in RAMCloud (2011)
Belisarius: BFT Storage with Confidentiality (2011)
CryptDB: protecting confidentiality with encrypted query processing (2011)
Recovering semantics of tables on the web (2011)
ZooKeeper: Wait-free Coordination for Internet-scale Systems (2010)
Zyzzyva: Speculative byzantine fault tolerance (2010)
Bootstrapping Trust in Commodity Computers (2010)
FlexSC: Flexible System Call Scheduling with Exception-less System Calls (2010)
Cassandra: structured storage system on a p2p network (2009)
Eventually consistent (2009)
TrInc: Small trusted hardware for large distributed systems (2009)
Object storage on CRAQ: High-throughput chain replication for read-mostly workloads (2009)
Nysiad: Practical protocol transformation to tolerate Byzantine failures (2008)
A simple totally ordered broadcast protocol (2008)
Attested append-only memory (2007)
From crash-stop to permanent omission: Automatic transformation and weakest failure detectors (2007)
Making Distributed Applications Robust (2007)
Sif: Enforcing confidentiality and integrity in web applications (2007)
Dynamo: Amazon's highly available key-value store (2007)
Chain replication for supporting high throughput and availability (2004)
Distributed caching with memcached (2004)
Scribe: a large-scale and decentralized application-level multicast infrastructure (2002)
Practical byzantine fault tolerance and proactive recovery (2002)
The Sybil Attack (2002)
Primary-backup replication: From a time-free protocol to a time-based implementation (2001)
A highly available local leader election service (1999)
The part-time parliament (1998)
Robust emulation of shared memory using dynamic quorum-acknowledged broadcasts (1997)
Sequential consistency versus linearizability (1994)
Linearizability: A Correctness Condition for Concurrent Objects (1990)
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency (1989)
Consensus in the presence of partial synchrony (1988)
On the security of public key protocols (1983)
The Byzantine Generals Problem (1982)
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs (1979)
Secure communications over insecure channels (1978)
A principle for resilient sharing of distributed resources (1976)
MinBFT incompatibility (hyperledger-labs/minbft issue 252)
Tamarin TLS handshake proof (tamarin-prover example)