Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater. Simulation-based analysis of E2E voting systems. In David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan, editors, Frontiers of Electronic Voting, 29.07. - 03.08.2007. Volume 07311 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
@inproceedings{MarneffePQ07, title = {Simulation-based analysis of E2E voting systems}, author = {Olivier de Marneffe and Olivier Pereira and Jean-Jacques Quisquater}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2008/1297}, tags = {rule-based, analysis}, researchr = {https://researchr.org/publication/MarneffePQ07}, cites = {0}, citedby = {0}, booktitle = {Frontiers of Electronic Voting, 29.07. - 03.08.2007}, editor = {David Chaum and Miroslaw Kutylowski and Ronald L. Rivest and Peter Y. A. Ryan}, volume = {07311}, series = {Dagstuhl Seminar Proceedings}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, }