Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.

Steve Kremer, Mark Ryan

Browse the full ESOP paper archive.