110
Voted
CSFW
2008
IEEE
15 years 1 days ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...