Florrie Verity, Dirk Pattinson. Formally verified invariants of vote counting schemes. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017, Geelong, Australia, January 31 - February 3, 2017. ACM, 2017. [doi]
Abstract is missing.