How to Verify a Helios Election: the Specs
August 15, 2008Helios is meant to be verified by anyone. You can go write your own code to verify that Helios is running your election properly. Ah, but to write code, you need specs. So here is the Helios Verification Specification. Feedback welcome!
