Skip navigation
The Australian National University

Verifying voting schemes

Citation

Beckert, B, Gore, R, Schurmann, C et al 2014, 'Verifying voting schemes', Journal of Information Security and Applications, vol. 19, pp. 115-129.

Year

2014

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  24 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers