C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
LibreCat: https://research-explorer.ista.ac.at/record/14735
DOI: 10.1007/978-3-031-47754-6_1