Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy. - Alessandro Bruni; Eva Drewsen; Carsten Schürmann 001 (E-VOTE-ID, 2017)