Michael Clarkson, postdoctoral Research Associate, Cornell University in Ithaca, New York
 |
Author Biography Michael Clarkson is a postdoctoral research associate in the Department of Computer Science at Cornell University in Ithaca, New York. He received the Ph.D. degree in computer science from Cornell University in 2010. His research interests include computer security and programming languages. |
| Abstract Civitas is an electronic voting system that enables voting from remote locations. Voters can be convinced that their votes are tallied correctly, while the secrecy of those votes is also maintained - even when someone tries to buy votes or to physically coerce voters. Civitas offers assurance through both cryptographic security proofs and information-flow analysis. |