Development, Formal Verification and Evaluation of an e-voting System with VVPAT. Villafiorita, A., Weldemariam, K., & Tiella, R. IEEE Transactions on Information Forensics and Security, 4(4):651-661, 2009.
![Development, Formal Verification and Evaluation of an e-voting System with VVPAT [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @article{WeldemariamTran:2009,
Author = {Adolfo Villafiorita and Komminist Weldemariam and Roberto Tiella},
Date-Added = {2009-10-19 10:28:28 +0200},
Date-Modified = {2011-01-25 14:53:17 +0100},
Journal = {{IEEE Transactions on Information Forensics and Security}},
Number = {4},
Pages = {{651-661}},
Title = {{Development, Formal Verification and Evaluation of an e-voting System with VVPAT}},
Url = {pdf/Trans09.pdf},
Volume = {4},
Year = {2009},
Bdsk-Url-1 = {pdf/Trans09.pdf}}Downloads: 0
{"_id":{"_str":"5342aba20e946d920a003142"},"__v":19,"authorIDs":["545a064ab43425b772000bc1"],"author_short":["Villafiorita, A.","Weldemariam, K.","Tiella, R."],"bibbaseid":"villafiorita-weldemariam-tiella-developmentformalverificationandevaluationofanevotingsystemwithvvpat-2009","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Adolfo"],"propositions":[],"lastnames":["Villafiorita"],"suffixes":[]},{"firstnames":["Komminist"],"propositions":[],"lastnames":["Weldemariam"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Tiella"],"suffixes":[]}],"date-added":"2009-10-19 10:28:28 +0200","date-modified":"2011-01-25 14:53:17 +0100","journal":"IEEE Transactions on Information Forensics and Security","number":"4","pages":"651-661","title":"Development, Formal Verification and Evaluation of an e-voting System with VVPAT","url":"pdf/Trans09.pdf","volume":"4","year":"2009","bdsk-url-1":"pdf/Trans09.pdf","bibtex":"@article{WeldemariamTran:2009,\n\tAuthor = {Adolfo Villafiorita and Komminist Weldemariam and Roberto Tiella},\n\tDate-Added = {2009-10-19 10:28:28 +0200},\n\tDate-Modified = {2011-01-25 14:53:17 +0100},\n\tJournal = {{IEEE Transactions on Information Forensics and Security}},\n\tNumber = {4},\n\tPages = {{651-661}},\n\tTitle = {{Development, Formal Verification and Evaluation of an e-voting System with VVPAT}},\n\tUrl = {pdf/Trans09.pdf},\n\tVolume = {4},\n\tYear = {2009},\n\tBdsk-Url-1 = {pdf/Trans09.pdf}}\n\n","author_short":["Villafiorita, A.","Weldemariam, K.","Tiella, R."],"key":"WeldemariamTran:2009","id":"WeldemariamTran:2009","bibbaseid":"villafiorita-weldemariam-tiella-developmentformalverificationandevaluationofanevotingsystemwithvvpat-2009","role":"author","urls":{"Paper":"http://ed.fbk.eu/people/sisai/publications_files/pdf/Trans09.pdf"},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"ed.fbk.eu/people/sisai/publications_files/bibliography.bib","downloads":0,"keywords":[],"search_terms":["development","formal","verification","evaluation","voting","system","vvpat","villafiorita","weldemariam","tiella"],"title":"Development, Formal Verification and Evaluation of an e-voting System with VVPAT","year":2009,"dataSources":["dzBYkqCKfK4tcs7g8","Jbnp9q4aufoTLHwTZ"]}