Project Details
Short title | Verifying Properties in Electronic Voting Protocols |
---|---|
Status | Finished |
Effective start/end date | 1/09/06 → 31/12/06 |
Funding
- Engineering & Physical Science Research Council
Short title | Verifying Properties in Electronic Voting Protocols |
---|---|
Status | Finished |
Effective start/end date | 1/09/06 → 31/12/06 |