@inproceedings{Ghale_PKN_18, address = {Oxford}, author = {Ghale, Milad and Pattinson, Dirk and Kumar, Ramana and Norrish, Michael}, booktitle = {Verified Software: Theories, Tools and Experiments}, date = {2018-12-22}, doi = {https://doi.org/10.1007/978-3-030-03592-1\_5}, editor = {{Ruzica Piskac and Philipp R\"{u}mmer}}, isbn = {978-3-030-035}, month = dec, pages = {69--87}, paperurl = {https://trustworthy.systems/publications/full_text/Ghale_PKN_18.pdf}, publisher = {Springer}, title = {Verified Certificate Checking for Counting Votes}, year = {2018} }