Themis: An On-Site Voting System with Systematic Cast-as-intended Verification and Partial Accountability. - Mikael Bougon; Hervé Chabanne; Véronique Cortier; Alexandre Debant; Emmanuelle Dottax; Jannik Dreier; Pierrick Gaudry; Mathieu Turuani (CCS, 2022)