Proving vote correctness in the IVXV internet voting systemKraavi, Taaniel; Willemson, JanScientific Reports2025 / art. 31793бб, 14 p https://doi.org/10.1038/s41598-025-16764-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS