Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

Electronic Voting - Lecture Notes in Computer Science ◽

10.1007/978-3-319-68687-5_7 ◽

2017 ◽

pp. 110-126 ◽

Author(s):

Alessandro Bruni ◽

Eva Drewsen ◽

Carsten Schürmann

Download Full-text