USENIX Conference Policies
Modeling and Analysis of Procedural Security in (e)Voting: The Trentino's Approach and Experiences
BibTeX
@inproceedings {268137,
author = {Komminist Weldemariam and Adolfo Villafiorita},
title = {Modeling and Analysis of Procedural Security in ({{{{{e)Voting}}}}}: The Trentino{\textquoteright}s Approach and Experiences},
booktitle = {2008 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT 08)},
year = {2008},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/evt-08/modeling-and-analysis-procedural-security-evoting-trentinos-approach-and},
publisher = {USENIX Association},
month = jul
}
author = {Komminist Weldemariam and Adolfo Villafiorita},
title = {Modeling and Analysis of Procedural Security in ({{{{{e)Voting}}}}}: The Trentino{\textquoteright}s Approach and Experiences},
booktitle = {2008 USENIX/ACCURATE Electronic Voting Technology Workshop (EVT 08)},
year = {2008},
address = {San Jose, CA},
url = {https://www.usenix.org/conference/evt-08/modeling-and-analysis-procedural-security-evoting-trentinos-approach-and},
publisher = {USENIX Association},
month = jul
}