%0 Conference Paper %1 conf/vstte/GhalePKN18 %A Ghale, Milad K. %A Pattinson, Dirk %A Kumar, Ramana %A Norrish, Michael %B VSTTE %D 2018 %E Piskac, Ruzica %E Rümmer, Philipp %I Springer %K dblp %P 69-87 %T Verified Certificate Checking for Counting Votes. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2018.html#GhalePKN18 %V 11294 %@ 978-3-030-03592-1

@inproceedings{conf/vstte/GhalePKN18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Ghale, Milad K. and Pattinson, Dirk and Kumar, Ramana and Norrish, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2edce2b22b5fb9b1ecb03d5d29d17fd6a/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2018}, editor = {Piskac, Ruzica and Rümmer, Philipp}, ee = {https://doi.org/10.1007/978-3-030-03592-1_5}, interhash = {a23403c15e290aaf07ccfa34e6fc169b}, intrahash = {edce2b22b5fb9b1ecb03d5d29d17fd6a}, isbn = {978-3-030-03592-1}, keywords = {dblp}, pages = {69-87}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:15:19.000+0200}, title = {Verified Certificate Checking for Counting Votes.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2018.html#GhalePKN18}, volume = 11294, year = 2018 }