Verification-Centric Realization of Electronic Vote Counting

@inproceedings {268539,
author = {Joseph R. Kiniry and Dermot Cochran and Patrick E. Tierney},
title = {{Verification-Centric} Realization of Electronic Vote Counting},
booktitle = {2007 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT 07)},
year = {2007},
address = {Boston, MA},
url = {https://www.usenix.org/conference/evt-07/verification-centric-realization-electronic-vote-counting},
publisher = {USENIX Association},
month = aug
}