Trustworthy Systems

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,
    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}
  }

Download