João Paulo Bezerra, Petr Kuznetsov. A Tight Bound on Multiple Spending in Decentralized Cryptocurrencies. In Alysson Bessani, Xavier Défago, Junya Nakamura 0001, Koichi Wada 0001, Yukiko Yamauchi, editors, 27th International Conference on Principles of Distributed Systems, OPODIS 2023, December 6-8, 2023, Tokyo, Japan. Volume 286 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]
Abstract is missing.