@misc{cryptoeprint:2020:982,
  author        = {Sevdenur Baloglu and Sergiu Bursuc and Sjouke Mauw and Jun Pang},
  title         = {Election Verifiability Revisited: Automated Security Proofs and Attacks on Helios and Belenios},
  howpublished  = {Cryptology ePrint Archive, Report 2020/982},
  year          = {2020},
  note          = {\url{https://eprint.iacr.org/2020/982}}
}