Haenni, RolfRolfHaenniDubuis, EricEricDubuisKoenig, Reto E.Reto E.KoenigLocher, PhilippPhilippLocher2024-11-192024-11-192018978-3-030-00419-410.24451/arbor.7542https://doi.org/10.24451/arbor.754210.1007/978-3-030-00419-4_6https://arbor.bfh.ch/handle/arbor/39537enProcess Models for Universally Verifiable Elections-book_section