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

Towards a Formal Foundation for Blockchain ZK RollupsChaliasos, Stefanos; Firsov, Denis; Livshits, BenjaminCCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security2025 / p. 2714-2728 : ill https://doi.org/10.1145/3719027.3765115