{"_id":"bYCwtNEdfbnya4AsB","bibbaseid":"cortier-galindo-turuani-aformalanalysisoftheneuchatelevotingprotocol-2018","authorIDs":[],"author_short":["Cortier, V.","Galindo, D.","Turuani, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"London","title":"A Formal Analysis of the Neuchatel e-Voting Protocol","isbn":"978-1-5386-4228-3","url":"https://ieeexplore.ieee.org/document/8406615/","doi":"10.1109/EuroSP.2018.00037","abstract":"Remote electronic voting is used in several countries for legally binding elections. Unlike academic voting protocols, these systems are not always documented and their security is rarely analysed rigorously.","language":"en","urldate":"2020-05-21","booktitle":"2018 IEEE European Symposium on Security and Privacy (EuroS&P)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Cortier"],"firstnames":["Veronique"],"suffixes":[]},{"propositions":[],"lastnames":["Galindo"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Turuani"],"firstnames":["Mathieu"],"suffixes":[]}],"month":"April","year":"2018","pages":"430–442","bibtex":"@inproceedings{cortier_formal_2018,\n\taddress = {London},\n\ttitle = {A {Formal} {Analysis} of the {Neuchatel} e-{Voting} {Protocol}},\n\tisbn = {978-1-5386-4228-3},\n\turl = {https://ieeexplore.ieee.org/document/8406615/},\n\tdoi = {10.1109/EuroSP.2018.00037},\n\tabstract = {Remote electronic voting is used in several countries for legally binding elections. Unlike academic voting protocols, these systems are not always documented and their security is rarely analysed rigorously.},\n\tlanguage = {en},\n\turldate = {2020-05-21},\n\tbooktitle = {2018 {IEEE} {European} {Symposium} on {Security} and {Privacy} ({EuroS}\\&{P})},\n\tpublisher = {IEEE},\n\tauthor = {Cortier, Veronique and Galindo, David and Turuani, Mathieu},\n\tmonth = apr,\n\tyear = {2018},\n\tpages = {430--442}\n}\n\n","author_short":["Cortier, V.","Galindo, D.","Turuani, M."],"key":"cortier_formal_2018","id":"cortier_formal_2018","bibbaseid":"cortier-galindo-turuani-aformalanalysisoftheneuchatelevotingprotocol-2018","role":"author","urls":{"Paper":"https://ieeexplore.ieee.org/document/8406615/"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/21h","creationDate":"2020-05-22T18:11:30.345Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","neuchatel","voting","protocol","cortier","galindo","turuani"],"title":"A Formal Analysis of the Neuchatel e-Voting Protocol","year":2018,"dataSources":["NpxDwkFvCjNmGYFSj"]}