Electrum: UC Fail-Stop Server-Supported SignaturesSnetkov, Nikita; Vakarjuk, Jelizaveta; Laud, PeeterProvable and Practical Security : 19th International Conference, ProvSec 2025, Yokohama, Japan, October 10–12, 2025 : Proceedings2025 / p. 88–107 https://doi.org/10.1007/978-981-95-2961-2_5 Conference proceedings at Scopus Article at Scopus Journal metrics at WOS Article at WOS