Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus

Michael Backes , Cătălin Hriţcu, Matteo Maffei

Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF), 2008.

( BibTeX )