Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Machine-Checked Proofs of Privacy for Electronic Voting Protocols. Cortier, V., Dragan, C. C., Dupressoir, F., Schmidt, B., Strub, P., & Warinschi, B. In 2017 IEEE Symposium on Security and Privacy, SP 2017, San Jose, CA, USA, May 22-26, 2017, pages 993–1008, 2017. IEEE Computer Society.

Paper doi bibtex

@inproceedings{DBLP:conf/sp/CortierDDSSW17,
  author = {V{\'{e}}ronique Cortier and Constantin Catalin Dragan and
Fran{\c{c}}ois Dupressoir and Benedikt Schmidt and
Pierre{-}Yves Strub and Bogdan Warinschi},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/sp/CortierDDSSW17.bib},
  booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP}
2017, San Jose, CA, USA, May 22-26, 2017},
  doi = {10.1109/SP.2017.28},
  isbn = {978-1-5090-5533-3},
  pages = {993--1008},
  publisher = {{IEEE} Computer Society},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  title = {Machine-Checked Proofs of Privacy for Electronic
Voting Protocols},
  url = {https://doi.org/10.1109/SP.2017.28},
  year = {2017}
}

Downloads: 0