Verifying Properties in Electronic Voting Protocols

Project Details

Short titleVerifying Properties in Electronic Voting Protocols
StatusFinished
Effective start/end date1/09/0631/12/06

Funding

  • ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL