@inproceedings{BBMP23,
  author        = {S. Baloglu and S. Bursuc and S. Mauw and J. Pang},
  title         = {Election Verifiability in receipt-free voting protocols},
  booktitle     = {Proceedings of the 36th IEEE Computer Security Foundations Symposium (CSF'23)},
  publisher     = {IEEE Computer Society},
  year          = {2023},
  pages         = {63-78}
}