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

Michael Backes, Cătălin Hriçtcu, and Matteo Maffei

Details

Publication typeInproceedings
Published in21th IEEE Symposium on Computer Security Foundations (CSF 2008)
Pages195-209
PublisherIEEE Computer Society Press
> Publications > Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus