Thomas Meumann

According to our database, Thomas Meumann authored at least 2 papers between 2014 and 2015.

Collaborative distances:

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

2015

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic.

Jeremy E. Dawson, Rajeev Goré, Thomas Meumann

Proceedings of the E-Voting and Identity - 5th International Conference, 2015

2014

Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting.

Rajeev Goré, Thomas Meumann

Proceedings of the 6th International Conference on Electronic Voting: Verifying the Vote, 2014