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