Fingerprint
Dive into the research topics of 'Analysis of an Electronic Voting Protocol in the Applied Pi Calculus'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
S Kremer, Mark Ryan, M Sagiv
Research output: Contribution to journal › Article › peer-review
130
Citations
(Scopus)