@misc{indiciaeb5303aec3757,
  title = {Verification of E-Voting Algorithms in Dafny},
  author = {Robert Büttner and Fabian Franz Dießl and Patrick Janoschek and Ivana Kostadinovic and Henrik Oback and Kilian Voß and Franziska Alber and Roland Herrmann and Sibylle Möhle and Philipp Rümmer},
  year = {2025},
  url = {https://arxiv.org/abs/2512.21084},
  note = {Source identifier: 2512.21084}
}