Katharina Bräunlich, Rüdiger Grimm. Formalization of Receipt-Freeness in the Context of Electronic Voting. In Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011. pages 119-126, IEEE, 2011. [doi]
@inproceedings{BraunlichG11,
title = {Formalization of Receipt-Freeness in the Context of Electronic Voting},
author = {Katharina Bräunlich and Rüdiger Grimm},
year = {2011},
doi = {10.1109/ARES.2011.25},
url = {http://doi.ieeecomputersociety.org/10.1109/ARES.2011.25},
researchr = {https://researchr.org/publication/BraunlichG11},
cites = {0},
citedby = {0},
pages = {119-126},
booktitle = {Sixth International Conference on Availability, Reliability and Security, ARES 2011, Vienna, Austria, August 22-26, 2011},
publisher = {IEEE},
isbn = {978-1-4577-0979-1},
}