{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T21:40:23Z","timestamp":1776202823858,"version":"3.50.1"},"reference-count":78,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2023,12,8]],"date-time":"2023-12-08T00:00:00Z","timestamp":1701993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972403"],"award-info":[{"award-number":["61972403"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Singapore Ministry of Education Academic Research Fund Tier 3","award":["MOE2017-T3-1-007"],"award-info":[{"award-number":["MOE2017-T3-1-007"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. ACM Manag. Data"],"published-print":{"date-parts":[[2023,12,8]]},"abstract":"<jats:p>Cloud-native databases become increasingly popular while exposing to greater data security and correctness risks. Existing verifiable outsourced databases overlook either the correctness risk of transactions, or the disaggregation architecture: a key design consideration of cloud-native databases for performance and elasticity, or both. We present VeriTxn, a novel cloud-native database that efficiently provides verifiability of transaction correctness. VeriTxn relies on the trusted hardware (i.e., Intel SGX) to enable verifiable transaction processing. We build a page-structure cache in the trusted domain, where transactions can be verified with low, constant overhead. VeriTxn further optimizes the read-only transactions by exploiting disaggregation to fit the read-heavy workload in the cloud. We also integrate our proposal into MySQL, a popular open-source database. We conduct extensive experiments to compare VeriTxn against state-of-the-art verifiable databases and evaluate the performance of VeriTxn on MySQL. The results show that VeriTxn introduces tolerable performance degradation for verifiable transactions, while achieving up to 7.03\u00d7 and 7.93\u00d7 higher throughput than Litmus and LedgerDB, and its sustainable performance when integrated with MySQL.<\/jats:p>","DOI":"10.1145\/3626764","type":"journal-article","created":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T14:01:21Z","timestamp":1702389681000},"page":"1-27","source":"Crossref","is-referenced-by-count":7,"title":["VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation"],"prefix":"10.1145","volume":"1","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4044-7742","authenticated-orcid":false,"given":"Zhanhao","family":"Zhao","sequence":"first","affiliation":[{"name":"Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6350-4887","authenticated-orcid":false,"given":"Hexiang","family":"Pan","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7483-0045","authenticated-orcid":false,"given":"Gang","family":"Chen","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5757-9135","authenticated-orcid":false,"given":"Xiaoyong","family":"Du","sequence":"additional","affiliation":[{"name":"Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6769-2695","authenticated-orcid":false,"given":"Wei","family":"Lu","sequence":"additional","affiliation":[{"name":"Renmin University of China, Beijing, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4446-1100","authenticated-orcid":false,"given":"Beng Chin","family":"Ooi","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore, Singapore"}]}],"member":"320","published-online":{"date-parts":[[2023,12,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524284"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.14778\/3430915.3430918"},{"key":"e_1_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Panagiotis Antonopoulos Arvind Arasu Kunal D. Singh Ken Eguro Nitish Gupta Rajat Jain Raghav Kaushik Hanuma Kodavalla Donald Kossmann Nikolas Ogg Ravi Ramamurthy Jakub Szymaszek Jeffrey Trimmer Kapil Vaswani Ramarathnam Venkatesan and Mike Zwilling. 2020. Azure SQL Database Always Encrypted. In SIGMOD. ACM 1511--1525.","DOI":"10.1145\/3318464.3386141"},{"key":"e_1_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Panagiotis Antonopoulos Alex Budovski Cristian Diaconu Alejandro Hernandez Saenz Jack Hu Hanuma Kodavalla Donald Kossmann Sandeep Lingam Umar Farooq Minhas Naveen Prakash Vijendra Purohit Hugh Qu Chaitanya Sreenivas Ravella Krystyna Reisteter Sheetal Shrotri Dixin Tang and Vikram Wakade. 2019. Socrates: The New SQL Server in the Cloud. In SIGMOD. ACM 1743--1756.","DOI":"10.1145\/3299869.3314047"},{"key":"e_1_2_1_5_1","volume-title":"Reilly Wong, Jason Anderson, and Jakub Szymaszek.","author":"Antonopoulos Panagiotis","year":"2021","unstructured":"Panagiotis Antonopoulos, Raghav Kaushik, Hanuma Kodavalla, Sergio Rosales Aceves, Reilly Wong, Jason Anderson, and Jakub Szymaszek. 2021. SQL Ledger: Cryptographically Verifiable Data in Azure SQL Database. In SIGMOD. ACM, 2437--2449."},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Arvind Arasu Badrish Chandramouli Johannes Gehrke Esha Ghosh Donald Kossmann Jonathan Protzenko Ravi Ramamurthy Tahina Ramananandro Aseem Rastogi Srinath T. V. Setty Nikhil Swamy Alexander van Renen and Min Xu. 2021. FastVer: Making Data Integrity a Commodity. In SIGMOD. ACM 89--101.","DOI":"10.1145\/3448016.3457312"},{"key":"e_1_2_1_7_1","volume-title":"Concerto: A High Concurrency Key-Value Store with Integrity. In SIGMOD. ACM, 251--266.","author":"Arasu Arvind","year":"2017","unstructured":"Arvind Arasu, Ken Eguro, Raghav Kaushik, Donald Kossmann, Pingfan Meng, Vineet Pandey, and Ravi Ramamurthy. 2017. Concerto: A High Concurrency Key-Value Store with Integrity. In SIGMOD. ACM, 251--266."},{"key":"e_1_2_1_8_1","unstructured":"Amazon AWS. 2023 a. Amazon S3. https:\/\/aws.amazon.com\/s3\/aws\/"},{"key":"e_1_2_1_9_1","unstructured":"Amazon AWS. 2023 b. Cloud for State and Local Government. https:\/\/aws.amazon.com\/stateandlocal\/"},{"key":"e_1_2_1_10_1","unstructured":"Microsoft Azure. 2023 a. Azure Blob Storage. https:\/\/azure.microsoft.com\/services\/storage\/"},{"key":"e_1_2_1_11_1","unstructured":"Microsoft Azure. 2023 b. Azure Cloud Disk. https:\/\/azure.microsoft.com\/en-us\/products\/storage\/disks\/"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22792-9_7"},{"key":"e_1_2_1_13_1","volume-title":"O'Neil","author":"Berenson Hal","year":"1995","unstructured":"Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, and Patrick E. O'Neil. 1995. A Critique of ANSI SQL Isolation Levels. In SIGMOD. ACM Press, 1--10."},{"key":"e_1_2_1_14_1","volume-title":"Concurrency Control and Recovery in Database Systems","author":"Bernstein Philip A.","unstructured":"Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. 1987. Concurrency Control and Recovery in Database Systems. Addison-Wesley."},{"key":"e_1_2_1_15_1","volume-title":"Yee Jiun Song, and Venkateshwaran Venkataramani","author":"Bronson Nathan","year":"2013","unstructured":"Nathan Bronson, Zach Amsden, George Cabrera, Prasad Chakka, Peter Dimov, Hui Ding, Jack Ferris, Anthony Giardullo, Sachin Kulkarni, Harry C. Li, Mark Marchukov, Dmitri Petrov, Lovro Puzar, Yee Jiun Song, and Venkateshwaran Venkataramani. 2013. TAO: Facebook's Distributed Data Store for the Social Graph. In ATC. USENIX, 49--60."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.14778\/3229863.3229872"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Wei Cao Yingqiang Zhang Xinjun Yang Feifei Li Sheng Wang Qingda Hu Xuntao Cheng Zongzhi Chen Zhenjun Liu Jing Fang Bo Wang Yuhui Wang Haiqing Sun Ze Yang Zhushi Cheng Sen Chen Jian Wu Wei Hu Jianwei Zhao Yusong Gao Songlu Cai Yunyang Zhang and Jiawang Tong. 2021. PolarDB Serverless: A Cloud Native Database for Disaggregated Data Centers. In SIGMOD. ACM 2477--2489.","DOI":"10.1145\/3448016.3457560"},{"key":"e_1_2_1_18_1","unstructured":"Miguel Castro and Barbara Liskov. 1999. Practical Byzantine Fault Tolerance. In OSDI. USENIX 173--186."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196898"},{"key":"e_1_2_1_20_1","volume-title":"Plor: General Transactions with Predictable, Low Tail Latency. In SIGMOD. ACM, 19--33.","author":"Chen Youmin","year":"2022","unstructured":"Youmin Chen, Xiangyao Yu, Paraschos Koutris, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Jiwu Shu. 2022. Plor: General Transactions with Predictable, Low Tail Latency. In SIGMOD. ACM, 19--33."},{"key":"e_1_2_1_21_1","unstructured":"Tencent Cloud. 2023. Webank on Tencent Cloud. https:\/\/www.tencentcloud.com\/dynamic\/news-details\/100115\/"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Brian F. Cooper Adam Silberstein Erwin Tam Raghu Ramakrishnan and Russell Sears. 2010. Benchmarking cloud serving systems with YCSB. In SoCC. ACM 143--154.","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_2_1_23_1","volume-title":"Spanner: Google's Globally-Distributed Database. In OSDI. USENIX, 251--264.","author":"Corbett James C.","year":"2012","unstructured":"James C. Corbett, Jeffrey Dean, Michael Epstein, Andrew Fikes, Christopher Frost, J. J. Furman, Sanjay Ghemawat, Andrey Gubarev, Christopher Heiser, Peter Hochschild, Wilson C. Hsieh, Sebastian Kanthak, Eugene Kogan, Hongyi Li, Alexander Lloyd, Sergey Melnik, David Mwaura, David Nagle, Sean Quinlan, Rajesh Rao, Lindsay Rolig, Yasushi Saito, Michal Szymaniak, Christopher Taylor, Ruth Wang, and Dale Woodford. 2012. Spanner: Google's Globally-Distributed Database. In OSDI. USENIX, 251--264."},{"key":"e_1_2_1_24_1","unstructured":"Victor Costan and Srinivas Devadas. 2016. Intel SGX Explained. IACR Cryptol. ePrint Arch. (2016) 86."},{"key":"e_1_2_1_25_1","unstructured":"The Transaction Processing Council. 2023. TPC Benchmark C. http:\/\/www.tpc.org\/tpcc\/"},{"key":"e_1_2_1_26_1","volume-title":"Obladi: Oblivious Serializable Transactions in the Cloud. In OSDI. USENIX, 727--743.","author":"Crooks Natacha","year":"2018","unstructured":"Natacha Crooks, Matthew Burke, Ethan Cecchetti, Sitar Harel, Rachit Agarwal, and Lorenzo Alvisi. 2018. Obladi: Oblivious Serializable Transactions in the Cloud. In OSDI. USENIX, 727--743."},{"key":"e_1_2_1_27_1","doi-asserted-by":"crossref","unstructured":"Beno^i t Dageville Thierry Cruanes Marcin Zukowski Vadim Antonov Artin Avanes Jon Bock Jonathan Claybaugh Daniel Engovatov Martin Hentschel Jiansheng Huang Allison W. Lee Ashish Motivala Abdul Q. Munir Steven Pelley Peter Povinec Greg Rahn Spyridon Triantafyllis and Philipp Unterbrunner. 2016. The Snowflake Elastic Data Warehouse. In SIGMOD. ACM 215--226.","DOI":"10.1145\/2882903.2903741"},{"key":"e_1_2_1_28_1","volume-title":"Divesh Srivastava, and Michael Tan.","author":"Dar Shaul","year":"1996","unstructured":"Shaul Dar, Michael J. Franklin, Bj\u00f6 rn \u00de\u00f3 r J\u00f3 nsson, Divesh Srivastava, and Michael Tan. 1996. Semantic Data Caching and Replacement. In VLDB. Morgan Kaufmann, 330--341."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483562"},{"key":"e_1_2_1_30_1","unstructured":"NUS DBSystem. 2023. LedgerDatabase Codebase. https:\/\/github.com\/nusdbsystem\/LedgerDatabase\/"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.14778\/2556549.2556575"},{"key":"e_1_2_1_32_1","volume-title":"Taurus Database: How to be Fast, Available, and Frugal in the Cloud. In SIGMOD. ACM, 1463--1478.","author":"Depoutovitch Alex","year":"2020","unstructured":"Alex Depoutovitch, Chong Chen, Jin Chen, Paul Larson, Shu Lin, Jack Ng, Wenlin Cui, Qiang Liu, Wei Huang, Yong Xiao, and Yongjun He. 2020. Taurus Database: How to be Fast, Available, and Frugal in the Cloud. In SIGMOD. ACM, 1463--1478."},{"key":"e_1_2_1_33_1","volume-title":"ICDE Workshops. IEEE, 223--230","author":"Dey Akon","year":"2014","unstructured":"Akon Dey, Alan D. Fekete, Raghunath Nambiar, and Uwe R\u00f6 hm. 2014. YCSBT: Benchmarking web-scale transactional databases. In ICDE Workshops. IEEE, 223--230."},{"key":"e_1_2_1_34_1","first-page":"1","article-title":"Benchmarking the Second Generation of Intel SGX Hardware","volume":"5","author":"El-Hindi Muhammad","year":"2022","unstructured":"Muhammad El-Hindi, Tobias Ziegler, Matthias Heinrich, Adrian Lutsch, Zheguang Zhao, and Carsten Binnig. 2022. Benchmarking the Second Generation of Intel SGX Hardware. In DaMoN. ACM, 5:1--5:8.","journal-title":"DaMoN. ACM"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.14778\/3364324.3364331"},{"key":"e_1_2_1_36_1","unstructured":"Yu Xia et al. 2023 a. LitmusDB Codebase. https:\/\/github.com\/yuxiamit\/LitmusDB\/"},{"key":"e_1_2_1_37_1","unstructured":"Zhanhao Zhao et al. 2023 b. VeriTxn Codebase. https:\/\/github.com\/zhanhaozhao\/VeriTxn\/"},{"key":"e_1_2_1_38_1","volume-title":"Transaction Processing: Concepts and Techniques. Morgan Kaufmann.","author":"Gray Jim","year":"1993","unstructured":"Jim Gray and Andreas Reuter. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann."},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.14778\/3565816.3565837"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14778\/3055540.3055548"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-021-00719-9"},{"key":"e_1_2_1_42_1","volume-title":"Trustworthy data from untrusted databases","author":"Jain Rohit","unstructured":"Rohit Jain and Sunil Prabhakar. 2013. Trustworthy data from untrusted databases. In ICDE. IEEE, 529--540."},{"key":"e_1_2_1_43_1","unstructured":"Song Jiang Feng Chen and Xiaodong Zhang. 2005. CLOCK-Pro: An Effective Improvement of the CLOCK Replacement. In ATC. USENIX 323--336."},{"key":"e_1_2_1_44_1","unstructured":"Alexy Kopytov. 2023. Sysbench. https:\/\/github.com\/akopytov\/sysbench\/"},{"key":"e_1_2_1_45_1","volume-title":"The Bw-Tree: A B-tree for new hardware platforms","author":"Levandoski Justin J.","unstructured":"Justin J. Levandoski, David B. Lomet, and Sudipta Sengupta. 2013. The Bw-Tree: A B-tree for new hardware platforms. In ICDE. IEEE, 302--313."},{"key":"e_1_2_1_46_1","unstructured":"David B. Lomet. 1993. Key Range Locking Strategies for Improved Concurrency. In VLDB. Morgan Kaufmann 655--664."},{"key":"e_1_2_1_47_1","unstructured":"Haonan Lu Siddhartha Sen and Wyatt Lloyd. 2020. Performance-Optimal Read-Only Transactions. In OSDI. USENIX 333--349."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.14778\/3342263.3342270"},{"key":"e_1_2_1_49_1","unstructured":"MariaDB. 2023. DBS migrates to MariaDB. https:\/\/mariadb.com\/resources\/customer-stories\/dbs\/"},{"key":"e_1_2_1_50_1","volume-title":"CRYPTO (Lecture Notes in Computer Science","volume":"378","author":"Merkle Ralph C.","year":"1987","unstructured":"Ralph C. Merkle. 1987. A Digital Signature Based on a Conventional Encryption Function. In CRYPTO (Lecture Notes in Computer Science, Vol. 293). Springer, 369--378."},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3514221.3526148"},{"key":"e_1_2_1_52_1","volume-title":"Oblix: An Efficient Oblivious Search Index. In IEEE Symposium on Security and Privacy. IEEE, 279--296","author":"Mishra Pratyush","year":"2018","unstructured":"Pratyush Mishra, Rishabh Poddar, Jerry Chen, Alessandro Chiesa, and Raluca Ada Popa. 2018. Oblix: An Efficient Oblivious Search Index. In IEEE Symposium on Security and Privacy. IEEE, 279--296."},{"key":"e_1_2_1_53_1","unstructured":"C. Mohan. 1990. ARIES\/KVL: A Key-Value Locking Method for Concurrency Control of Multiaction Transactions Operating on B-Tree Indexes. In VLDB. Morgan Kaufmann 392--405."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_2_1_55_1","unstructured":"MySQL. 2023. MySQL Homepage. https:\/\/www.mysql.com\/"},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064219"},{"key":"e_1_2_1_57_1","unstructured":"PostgreSQL. 2023. PostgreSQL Homepage. https:\/\/www.postgresql.org\/"},{"key":"e_1_2_1_58_1","volume-title":"EnclaveDB: A Secure Database Using SGX. In IEEE Symposium on Security and Privacy. IEEE, 264--278","author":"Priebe Christian","year":"2018","unstructured":"Christian Priebe, Kapil Vaswani, and Manuel Costa. 2018. EnclaveDB: A Secure Database Using SGX. In IEEE Symposium on Security and Privacy. IEEE, 264--278."},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732951.2732955"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.10"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378469"},{"key":"e_1_2_1_62_1","doi-asserted-by":"crossref","unstructured":"Zhan Shi Xiangru Huang Akanksha Jain and Calvin Lin. 2019. Applying Deep Learning to the Cache Replacement Problem. In MICRO. ACM 413--425.","DOI":"10.1145\/3352460.3358319"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.14778\/3447689.3447705"},{"key":"e_1_2_1_64_1","volume-title":"Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In OSDI. USENIX, 63--80.","author":"Tan Cheng","year":"2020","unstructured":"Cheng Tan, Changgeng Zhao, Shuai Mu, and Michael Walfish. 2020. Cobra: Making Transactional Key-Value Stores Verifiably Serializable. In OSDI. USENIX, 63--80."},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/320071.320076"},{"key":"e_1_2_1_66_1","volume-title":"Abadi","author":"Thomson Alexander","year":"2012","unstructured":"Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, and Daniel J. Abadi. 2012. Calvin: fast distributed transactions for partitioned database systems. In SIGMOD. ACM, 1--12."},{"key":"e_1_2_1_67_1","doi-asserted-by":"crossref","unstructured":"Stephen Tu Wenting Zheng Eddie Kohler Barbara Liskov and Samuel Madden. 2013. Speedy transactions in multicore in-memory databases. In SOSP. ACM 18--32.","DOI":"10.1145\/2517349.2522713"},{"key":"e_1_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3056101"},{"key":"e_1_2_1_69_1","volume-title":"Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. In SIGMOD. ACM, 1478--1492.","author":"Xia Yu","year":"2022","unstructured":"Yu Xia, Xiangyao Yu, Matthew Butrovich, Andrew Pavlo, and Srinivas Devadas. 2022. Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness. In SIGMOD. ACM, 1478--1492."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.14778\/3415478.3415540"},{"key":"e_1_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.14778\/3476249.3476265"},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735508.2735511"},{"key":"e_1_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.14778\/3231751.3231763"},{"key":"e_1_2_1_74_1","volume-title":"PushdownDB: Accelerating a DBMS Using S3 Computation","author":"Yu Xiangyao","year":"1802","unstructured":"Xiangyao Yu, Matt Youill, Matthew E. Woicik, Abdurrahman Ghanem, Marco Serafini, Ashraf Aboulnaga, and Michael Stonebraker. 2020. PushdownDB: Accelerating a DBMS Using S3 Computation. In ICDE. IEEE, 1802--1805."},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.14778\/3467861.3467877"},{"key":"e_1_2_1_76_1","doi-asserted-by":"crossref","unstructured":"Zhanhao Zhao Hexiang Pan Gang Chen Xiaoyong Du Wei Lu and Beng Chin Ooi. 2023. VeriTxn: Verifiable Transactions for Cloud-Native Databases with Storage Disaggregation (Extended Version). https:\/\/storage.googleapis.com\/veritxn\/veritxn-extended-version-sigmod24.pdf","DOI":"10.1145\/3626764"},{"key":"e_1_2_1_77_1","volume-title":"Joseph E. Gonzalez, and Ion Stoica.","author":"Zheng Wenting","year":"2017","unstructured":"Wenting Zheng, Ankur Dave, Jethro G. Beekman, Raluca Ada Popa, Joseph E. Gonzalez, and Ion Stoica. 2017. Opaque: An Oblivious and Encrypted Distributed Analytics Platform. In NSDI. USENIX, 283--298."},{"key":"e_1_2_1_78_1","doi-asserted-by":"crossref","unstructured":"Wenchao Zhou Yifan Cai Yanqing Peng Sheng Wang Ke Ma and Feifei Li. 2021. VeriDB: An SGX-based Verifiable Database. In SIGMOD. ACM 2182--2194.","DOI":"10.1145\/3448016.3457308"}],"container-title":["Proceedings of the ACM on Management of Data"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626764","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T13:01:50Z","timestamp":1755867710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,8]]},"references-count":78,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12,8]]}},"alternative-id":["10.1145\/3626764"],"URL":"https:\/\/doi.org\/10.1145\/3626764","relation":{},"ISSN":["2836-6573"],"issn-type":[{"value":"2836-6573","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,8]]}}}