Eva Drewsen

According to our database, Eva Drewsen authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

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

Alessandro Bruni, Eva Drewsen, Carsten Schürmann

Proceedings of the Electronic Voting - Second International Joint Conference, 2017