On the Applicability of STARKs to Counted-as-Collected Verification in Existing Homomorphic E-Voting Systems. - Max Harrison; Thomas Haines (FC Workshops, 2024)