@misc{indiciae5690eb95ded4,
  title = {Verification of STAR-Vote and Evaluation of FDR and ProVerif},
  author = {Murat Moran and Dan S. Wallach},
  year = {2017},
  url = {https://arxiv.org/abs/1705.00782},
  note = {Source identifier: 1705.00782}
}