Christos Stefo, Zhuolun Xiang, Lefteris Kokoris-Kogias. Executing and Proving Over Dirty Ledgers. In Foteini Baldimtsi, Christian Cachin, editors, Financial Cryptography and Data Security - 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I. Volume 13950 of Lecture Notes in Computer Science, pages 3-20, Springer, 2023. [doi]
Abstract is missing.