Proving the monotonicity criterion for a plurality vote-counting program as a step towards verified vote-counting. - Rajeev Goré; Thomas Meumann (EVOTE, 2014)

Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. - Jeremy E. Dawson; Rajeev Goré; Thomas Meumann (VoteID, 2015)