@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} }