Back to papers
VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation
Summary: VeriTxn uses SGX for verifiable transactions in cloud-native, storage-disaggregated DBs. A trusted enclave cache yields constant verification; read workloads leverage disaggregation, with MySQL integration delivering up to 7x throughput vs Litmus/LedgerDB.
(summarized by gpt-5-nano on Feb 09 2026)
Paper ID
6833
Venue
SIGMOD
Year
2023
Pagerank
5.1997534e-05
Overall Rank
9,896 | 32.11%
DOI
10.1145/3626764
Incoming Non-self Citations Over Time
BibTeX Citation
Copy BibTeX
@inproceedings{zhao_sigmod23,
title = {{VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation}},
author = {Zhao, Zhanhao and Pan, Hexiang and Chen, Gang and Du, Xiaoyong and Lu, Wei and Ooi, Beng Chin},
series = {{SIGMOD} '23},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3626764},
url = {https://dl.acm.org/doi/10.1145/3626764},
year = {2023}
}
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 33 of 33 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Rank
Cited Paper
Year
Venue
Pagerank
19
A Critique of ANSI SQL Isolation Levels
1995
SIGMOD
0.00058720861
57
Calvin: Fast Distributed Transactions for Partitioned Database Systems
2012
SIGMOD
0.00040139242
66
The Snowflake Elastic Data Warehouse
2016
SIGMOD
0.00038561587
73
Amazon Aurora: Design Considerations for High Throughput Cloud-Native Relational Databases
2017
SIGMOD
0.00037333356
214
ARIES/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes
1990
VLDB
0.00024680756
409
Semantic Data Caching and Replacement
1996
VLDB
0.00018985783
473
Staring into the Abyss: An Evaluation of Concurrency Control with One Thousand Cores
2015
VLDB
0.00017900942
604
Socrates: The New SQL Server in the Cloud
2019
SIGMOD
0.0001584774
614
Faster: A Concurrent Key-Value Store with In-Place Updates
2018
SIGMOD
0.00015720975
720
Anti-Caching: A New Approach to Database Management System Architecture
2013
VLDB
0.00014632914
1,080
Elle: Inferring Isolation Anomalies from Experimental Observations
2021
VLDB
0.00012257972
1,283
PolarFS: An Ultra-low Latency and Failure Resilient Distributed File System for Shared Storage Cloud Database
2018
VLDB
0.00011337934
1,424
Azure SQL Database Always Encrypted
2020
SIGMOD
0.00010819191
1,501
Key Range Locking Strategies for Improved Concurrency
1993
VLDB
0.00010559899
1,584
PolarDB Serverless: A Cloud Native Database for Disaggregated Data Centers
2021
SIGMOD
0.0001028934
1,926
An Evaluation of Distributed Concurrency Control
2017
VLDB
9.4705999e-05
2,071
Concerto: A High Concurrency Key-Value Store with Integrity
2017
SIGMOD
9.2263103e-05
2,765
An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems
2014
VLDB
8.1530951e-05
2,803
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
8.1076616e-05
2,834
Towards Cost-Effective and Elastic Cloud Database Deployment via Memory Disaggregation
2021
VLDB
8.073077e-05
3,013
Opportunities for Optimism in Contended Main-Memory Multicore Transactions
2020
VLDB
7.8518631e-05
3,226
Taurus Database: How to be Fast, Available, and Frugal in the Cloud
2020
SIGMOD
7.6231159e-05
3,464
Building Enclave-Native Storage Engines for Practical Encrypted Databases
2021
VLDB
7.3916399e-05
3,632
FlexPushdownDB: Hybrid Pushdown and Caching in a Cloud DBMS
2021
VLDB
7.2368817e-05
3,661
Sundial: Harmonizing Concurrency Control and Caching in a Distributed OLTP Database Management System
2018
VLDB
7.2167755e-05
3,870
FastVer: Making Data Integrity a Commodity
2021
SIGMOD
7.0604603e-05
3,967
STAR: Scaling Transactions through Asymmetric Replication
2019
VLDB
6.984665e-05
4,304
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD
6.7709608e-05
4,774
SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database
2021
SIGMOD
6.5140046e-05
5,602
How Good is My HTAP System?
2022
SIGMOD
6.1538237e-05
5,705
Cornus: Atomic Commit for a Cloud DBMS with Storage Disaggregation
2023
VLDB
6.1145567e-05
6,058
Plor: General Transactions with Predictable, Low Tail Latency
2022
SIGMOD
5.9920075e-05
7,650
Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
2022
SIGMOD
5.5755646e-05
Semantically Similar Papers
#
Overall Rank
Paper
Year
Venue
1
2,803
LedgerDB: A Centralized Ledger Database for Universal Audit and Verification
2020
VLDB
2
5,549
Hybrid Blockchain Database Systems: Design and Performance
2022
VLDB
3
11,689
A Client-centric Approach to Transactional Datastores
2021
SIGMOD
4
2,014
Veritas: Shared Verifiable Databases and Tables in the Cloud
2019
CIDR
5
6,509
Scalable Transactions across Heterogeneous NoSQL Key-Value Data Stores
2013
VLDB
6
8,735
VeDB: A Software and Hardware Enabled Trusted Relational Database
2023
SIGMOD
7
7,100
GlassDB: An Efficient Verifiable Ledger Database System Through Transparency
2023
VLDB
8
4,887
Scalable Verification for Outsourced Dynamic Databases
2009
VLDB
9
8,683
VeriBench: Analyzing the Performance of Database Systems with Verifiability
2023
VLDB
10
4,304
VeriDB: An SGX-based Verifiable Database
2021
SIGMOD