@inproceedings{BBMP21b,
  author        = {S. Baloglu and S. Bursuc and S. Mauw and J. Pang},
  title         = {Provably improving election verifiability in {B}elenios},
  booktitle     = {Proceedings of the 6th International Joint Conference on Electronic Voting (E-VOTE-ID'21)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2021},
  volume        = {12900},
  pages         = {1-16}
}