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 TOPCOAT: towards practical two-party Crystals-DilithiumSnetkov, Nikita; Vakarjuk, Jelizaveta; Laud, PeeterDiscover computing2024 / art. 18, 31 p. https://doi.org/10.1007/s10791-024-09449-2 Journal metrics at Scopus Article at Scopus Article at WOS