Skip navigation
The Australian National University

Machine-checked reasoning about complex voting schemes using higher-order logic

Citation

Dawson, J, Gore, R & Meumann, T 2015, 'Machine-checked reasoning about complex voting schemes using higher-order logic', 5th International Conference on E-Voting and Identity, VoteID 2015, ed. Haenni. R, Koenig R.E,Wikstrom. D, Springer International Publishing Switzerland, TBC, pp. 142-158.

Year

2015

Fields of Research

  • Analysis Of Algorithms And Complexity
  • Australian Government And Politics

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers