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

In  21th IEEE Symposium on Computer Security Foundations (CSF 2008)

Publisher  IEEE Computer Society Press

Details

TypeInproceedings
Pages195-209
> Publications > Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus