Veritas: Shared Verifiable Databases and Tables in the Cloud
Summary: Presents shared, verifiable database tables: a new abstraction for trusted multi‑party cloud data sharing with cryptographic integrity and authenticity guarantees. Enables auditable verification of query results and table updates so participants detect server misbehavior without trusting the cloud provider. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Lindsey Allen (Microsoft)
- 2. Panagiotis Antonopoulos (Microsoft)
- 3. Arvind Arasu (Microsoft)
- 4. Johannes Gehrke (Microsoft)
- 5. Joachim Hammer (Microsoft)
- 6. James Hunter (Microsoft)
- 7. Raghav Kaushik (Microsoft)
- 8. Donald Kossmann (Microsoft)
- 9. Jonathan Lee (Microsoft)
- 10. Ravi Ramamurthy (Microsoft)
- 11. Srinath Setty (Microsoft)
- 12. Jakub Szymaszek (Microsoft)
- 13. Alexander van Renen (Technical University of Munich)
- 14. Ramarathnam Venkatesan (Microsoft)
BibTeX Citation
@inproceedings{allen_cidr19,
address = {Amsterdam, Netherlands},
series = {{CIDR} '19},
title = {{Veritas: Shared Verifiable Databases and Tables in the Cloud}},
booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
author = {Allen, Lindsey and Antonopoulos, Panagiotis and Arasu, Arvind and Gehrke, Johannes and Hammer, Joachim and Hunter, James and Kaushik, Raghav and Kossmann, Donald and Lee, Jonathan and Ramamurthy, Ravi and Setty, Srinath and Szymaszek, Jakub and van Renen, Alexander and Venkatesan, Ramarathnam},
year = {2019}
}Incoming Citations (Sorted by Pagerank)
Showing 15 of 15 citing papers.
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 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 |
| 1,724 | CorrectDB: SQL Engine with Practical Query Authentication | 2013 | VLDB | 9.9199577e-05 |
| 2,071 | Concerto: A High Concurrency Key-Value Store with Integrity | 2017 | SIGMOD | 9.2263103e-05 |
| 2,169 | Data Integration: After the Teenage Years | 2017 | PODS | 9.0436759e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 12,347 | Secure and Privacy-Preserving Data Services in the Cloud: A Data Centric View | 2012 | VLDB |
| 2 | 8,735 | VeDB: A Software and Hardware Enabled Trusted Relational Database | 2023 | SIGMOD |
| 3 | 1,120 | BlockchainDB - A Shared Database on Blockchains | 2019 | VLDB |
| 4 | 1,820 | Information Sharing Across Private Databases | 2003 | SIGMOD |
| 5 | 7,100 | GlassDB: An Efficient Verifiable Ledger Database System Through Transparency | 2023 | VLDB |
| 6 | 4,997 | Secure Query Processing with Data Interoperability in a Cloud Database Environment | 2014 | SIGMOD |
| 7 | 8,683 | VeriBench: Analyzing the Performance of Database Systems with Verifiability | 2023 | VLDB |
| 8 | 4,304 | VeriDB: An SGX-based Verifiable Database | 2021 | SIGMOD |
| 9 | 9,896 | VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation | 2023 | SIGMOD |
| 10 | 11,955 | An Authorization Model for Multi Provider Queries | 2018 | VLDB |