TY  - RPRT
TI  - Verification of E-Voting Algorithms in Dafny
AU  - Robert Büttner
AU  - Fabian Franz Dießl
AU  - Patrick Janoschek
AU  - Ivana Kostadinovic
AU  - Henrik Oback
AU  - Kilian Voß
AU  - Franziska Alber
AU  - Roland Herrmann
AU  - Sibylle Möhle
AU  - Philipp Rümmer
PY  - 2025
UR  - https://arxiv.org/abs/2512.21084
ID  - 2512.21084
ER  -