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
Verifying Properties in Electronic Voting Protocols
- Ryan, Mark (Principal Investigator)