Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus
Michael Backes, Cătălin Hriçtcu, and Matteo Maffei
June 2008
In 21th IEEE Symposium on Computer Security Foundations (CSF 2008)
Publisher IEEE Computer Society Press
Details
| Type | Inproceedings |
| Pages | 195-209 |