Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness

Summary: Litmus provides verifiable proofs of transaction correctness (atomicity, serializability) via DBMS-crypto co-design. YCSB/TPCC prototype hits >17k verifiable txn/s under cryptographic assumptions; ~30KB proofs per batch, verified in ~300s; enables consistency verification. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h6b4d8fa902071d36
Venue: SIGMOD
Year: 2022
Pagerank: 5.4511849e-05
Overall Rank: 7,797 | 47.58%
DOI: 10.1145/3514221.3517851

Incoming Non-self Citations Over Time

Authors

1. Yu Xia (Massachusetts Institute of Technology)
2. Xiangyao Yu (University of Wisconsin)
3. Matthew Butrovich (Carnegie Mellon University)
4. Andrew Pavlo (Carnegie Mellon University)
5. Srinivas Devadas (Massachusetts Institute of Technology)

BibTeX Citation

@inproceedings{xia_sigmod22,
        title = {{Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness}},
        author = {Xia, Yu and Yu, Xiangyao and Butrovich, Matthew and Pavlo, Andrew and Devadas, Srinivas},
        series = {{SIGMOD} '22},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3514221.3517851},
        url = {https://dl.acm.org/doi/10.1145/3514221.3517851},
        year = {2022}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
8,759	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB	5.283718e-05
10,061	Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs	2024	SIGMOD	5.0875952e-05
10,073	VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation	2023	SIGMOD	5.0856783e-05
10,484	NeurBench: A Benchmark Suite for Learned Database Components with Drift Modeling: [Experiments & Analysis]	2026	SIGMOD	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 7 of 7 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
55	Calvin: Fast Distributed Transactions for Partitioned Database Systems	2012	SIGMOD	0.00040471598
235	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00023697028
1,102	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00012004972
1,490	vChain: Enabling Verifiable Boolean Range Queries over Blockchain Databases	2019	SIGMOD	0.00010513439
2,077	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.0781571e-05
5,436	When Query Authentication Meets Fine-Grained Access Control: A Zero-Knowledge Approach	2018	SIGMOD	6.1289943e-05
7,145	vChain: A Blockchain System Ensuring Query Integrity	2020	SIGMOD	5.5995188e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	8,731	Resolving the Tension between Integrity and Security Using a Theorem Prover	1988	SIGMOD
2	5,602	Verifiable Properties of Database Transactions	1996	PODS
3	6,870	An Almost-Serial Protocol for Transaction Execution in Main-Memory Database Systems	2002	VLDB
4	13,363	Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem	1993	VLDB
5	13,522	Specification and Verification of Abstract Database Types	1984	PODS
6	8,155	Compensation-Aware Data Types in RDBMS	2009	SIGMOD
7	8,759	VeriBench: Analyzing the Performance of Database Systems with Verifiability	2023	VLDB
8	5,341	Spitz: A Verifiable Database System	2020	VLDB
9	7,167	GlassDB: An Efficient Verifiable Ledger Database System Through Transparency	2023	VLDB
10	10,073	VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation	2023	SIGMOD