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

20227 citationsJournal Articlehybrid Open Access

Authors

Yu Xia · Massachusetts Institute of Technology

Xiangyao Yu · University of Wisconsin–Madison

Matthew Butrovich · Carnegie Mellon University

Andrew Pavlo · Carnegie Mellon University

Srinivas Devadas · Massachusetts Institute of Technology

Abstract

Existing secure database management systems (DBMSs) focus on security and privacy of data but overlook semantic properties, such as the correctness and ACID properties of transactions. Enforcing these properties is crucial to the functionality of applications. If these guarantees do not hold, catastrophic losses could result.

Topics & Keywords

Distributed systems and fault tolerance Security and Verification in Computing Advanced Data Storage Technologies

Publication Details

Published in: Proceedings of the 2022 International Conference on Management of Data

DOI: 10.1145/3514221.3517851

Field-Weighted Citation Impact: 1.51

Command Palette

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

Authors

Abstract

Topics & Keywords

Publication Details