Kraavi, T., Willemson, J. (2025). Proving vote correctness in the IVXV internet voting system. Scientific Reports. https://doi.org/10.1038/s41598-025-16764-1