Vestigial Vulnerabilities in Deployed Verifiable E-Voting Systems. - Thomas Haines; Jarrod Rose (IACR Cryptol. ePrint Arch., 2025)