Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness
Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, Srinivas Devadas · Proceedings of the 2022 International Conference on Management of Data · 2022
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.