On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. - Anggrio Sutopo; Thomas Haines; Peter B. Rønne (FC Workshops, 2023)