Thomas Meumann

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

Rajeev Goré, Jeremy E. Dawson, Thomas Meumann, 2015, VoteID.

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

Rajeev Goré, Thomas Meumann, R. Goré, 2014, 2014 6th International Conference on Electronic Voting: Verifying the Vote (EVOTE).

Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods

Bernhard Beckert, Thorsten Bormer, Rajeev Goré, 2014 .