Modeling and Analysis of Procedural Security in (e)Voting: The Trentino s Approach and Experiences

Komminist Weldemariam, Adolfo Villafiorita. Modeling and Analysis of Procedural Security in (e)Voting: The Trentino s Approach and Experiences. In David L. Dill, Tadayoshi Kohno, editors, 2008 USENIX/ACCURATE Electronic Voting Workshop, July 28-29, 2008, San Jose, CA, USA, Proceedings. USENIX Association, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.