Verified Verifiers for Verifying Elections

Thomas Haines, Rajeev Goré, Mukesh Tiwari. Verified Verifiers for Verifying Elections. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 685-702, ACM, 2019. [doi]

Authors

Thomas Haines

This author has not been identified. Look up 'Thomas Haines' in Google

Rajeev Goré

This author has not been identified. Look up 'Rajeev Goré' in Google

Mukesh Tiwari

This author has not been identified. Look up 'Mukesh Tiwari' in Google