Login / Signup
Eva Drewsen
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Theorem Prover
Privacy Aware
Location Privacy
Natural Deduction
Top Venues
E-VOTE-ID
</>
Publications
</>
Alessandro Bruni
,
Eva Drewsen
,
Carsten Schürmann
Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy.
E-VOTE-ID
(2017)