@inproceedings{BBMP21a,
  author        = {S. Baloglu and S. Bursuc and S. Mauw and J. Pang},
  title         = {Election verifiability revisited: Automated security proofs and attacks on {H}elios and {B}elenios},
  booktitle     = {Proceedings of the 34th IEEE Computer Security Foundations Symposium (CSF'21)},
  publisher     = {IEEE Computer Society},
  year          = {2021},
  pages         = {1-15}
}