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