Skip to main content
CSIRO Logo Data 61 logo

Verified certificate checking for counting votes

Authors

Milad Ghale, Dirk Pattinson, Ramana Kumar and Michael Norrish

DATA61

DeepMind

Australian National University

Abstract

BibTeX Entry

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

Download