An Electronic Voting Protocol (revisited)

Summary

In this project, my purpose was to understand an electronic voting protocol and determine its properties with the aid of Murphi.

Project report: html, txt

Presentation Slides: ppt, pdf

Source Files: download

Last updated: November 19, 2004.