Project 09

 

Home
Course description
Syllabus
Projects
Lecture slides
Tools and reference

 

An Electronic Voting Protocol (revisited)

Paul Valiant

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: browse, download

 

Last updated: November 19, 2004.