Simulation-based analysis of E2E voting systems

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},
}