@inproceedings{DBLP:conf/csfw/BalogluBM023,
  author        = {Sevdenur Baloglu and Sergiu Bursuc and Sjouke Mauw and Jun Pang},
  title         = {Election Verifiability in Receipt-free Voting Protocols},
  booktitle     = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik, Croatia, July 9-13, 2023},
  publisher     = {{IEEE}},
  pages         = {63-78},
  year          = {2023},
  url           = {https://doi.ieeecomputersociety.org/10.1109/CSF57540.2023.00005},
  doi           = {10.1109/CSF57540.2023.00005}
}