Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability.
Mikael Bougon, Herv Chabanne, Vronique Cortier, Alexandre Debant, Emmanuelle Dottax, Jannik Dreier, Pierrick Gaudry, Mathieu Turuani
Browse the full CCS paper archive.