Knowledge-based modelling of voting protocols
Chennai Mathematical Institute.
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elections are naturally expressed using standard knowledge operators, and show that the associated logic is decidable (under reasonable assumptions of bounded agents and nonces).
This is joint work with R Ramanujam and S P Suresh.