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

researchr

You are not signed in
Sign in
Sign up

Jeremy E. Dawson, Rajeev Goré, Thomas Meumann. Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic. In Rolf Haenni, Reto E. Koenig, Douglas Wikström, editors, E-Voting and Identity - 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings. Volume 9269 of Lecture Notes in Computer Science, pages 142-158, Springer, 2015. [doi]

This author has not been identified. Look up 'Jeremy E. Dawson' in GoogleThis author has not been identified. Look up 'Rajeev Goré' in GoogleThis author has not been identified. Look up 'Thomas Meumann' in Google

runs on WebDSL