Verification of E-Voting Algorithms in Dafny. - Robert Büttner; Fabian Franz Dießl; Patrick Janoschek; Ivana Kostadinovic; Henrik Oback; Kilian Voß; Franziska Alber; Roland Herrmann; Sibylle Möhle; Philipp Rümmer (CoRR, 2025)