Formal Analysis of Attacks for eVoting Systems. Weldemariam, K., Kemmerer, R., & Villafiorita, A. In CRiSIS '09: Forth International Conference on Risks and Security of Internet and Systems, pages 249-254, October, 2009. IEEE.
![Formal Analysis of Attacks for eVoting Systems [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{Weldemariam:2009to,
Author = {Komminist Weldemariam and Richard Kemmerer and Adolfo Villafiorita},
Booktitle = {CRiSIS '09: Forth International Conference on Risks and Security of Internet and Systems},
Date-Added = {2009-10-19 10:28:28 +0200},
Date-Modified = {2011-05-20 15:16:29 +0200},
Month = {October},
Pages = {249-254},
Publisher = {IEEE},
Title = {Formal Analysis of Attacks for eVoting Systems},
Url = {pdf/crisis09-2.pdf},
Year = {2009},
Bdsk-Url-1 = {pdf/crisis09-2.pdf}}Downloads: 0
{"_id":{"_str":"5342aba20e946d920a003128"},"__v":19,"authorIDs":["545a064ab43425b772000bc1"],"author_short":["Weldemariam, K.","Kemmerer, R.","Villafiorita, A."],"bibbaseid":"weldemariam-kemmerer-villafiorita-formalanalysisofattacksforevotingsystems-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Komminist"],"propositions":[],"lastnames":["Weldemariam"],"suffixes":[]},{"firstnames":["Richard"],"propositions":[],"lastnames":["Kemmerer"],"suffixes":[]},{"firstnames":["Adolfo"],"propositions":[],"lastnames":["Villafiorita"],"suffixes":[]}],"booktitle":"CRiSIS '09: Forth International Conference on Risks and Security of Internet and Systems","date-added":"2009-10-19 10:28:28 +0200","date-modified":"2011-05-20 15:16:29 +0200","month":"October","pages":"249-254","publisher":"IEEE","title":"Formal Analysis of Attacks for eVoting Systems","url":"pdf/crisis09-2.pdf","year":"2009","bdsk-url-1":"pdf/crisis09-2.pdf","bibtex":"@inproceedings{Weldemariam:2009to,\n\tAuthor = {Komminist Weldemariam and Richard Kemmerer and Adolfo Villafiorita},\n\tBooktitle = {CRiSIS '09: Forth International Conference on Risks and Security of Internet and Systems},\n\tDate-Added = {2009-10-19 10:28:28 +0200},\n\tDate-Modified = {2011-05-20 15:16:29 +0200},\n\tMonth = {October},\n\tPages = {249-254},\n\tPublisher = {IEEE},\n\tTitle = {Formal Analysis of Attacks for eVoting Systems},\n\tUrl = {pdf/crisis09-2.pdf},\n\tYear = {2009},\n\tBdsk-Url-1 = {pdf/crisis09-2.pdf}}\n\n","author_short":["Weldemariam, K.","Kemmerer, R.","Villafiorita, A."],"key":"Weldemariam:2009to","id":"Weldemariam:2009to","bibbaseid":"weldemariam-kemmerer-villafiorita-formalanalysisofattacksforevotingsystems-2009","role":"author","urls":{"Paper":"http://ed.fbk.eu/people/sisai/publications_files/pdf/crisis09-2.pdf"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"ed.fbk.eu/people/sisai/publications_files/bibliography.bib","downloads":0,"keywords":[],"search_terms":["formal","analysis","attacks","evoting","systems","weldemariam","kemmerer","villafiorita"],"title":"Formal Analysis of Attacks for eVoting Systems","year":2009,"dataSources":["dzBYkqCKfK4tcs7g8","Jbnp9q4aufoTLHwTZ"]}