Running Mixnet-Based Elections with Helios. - Philippe Bulens; Damien Giry; Olivier Pereira (EVT/WOTE, 2011)