These are the public projects on which I am currently working.
- Scantegrity Voting System — Scantegrity is an open source election verification technology for optical scan voting systems. It uses privacy preserving confirmation numbers to allow each voter to verify her vote is counted. The confirmation numbers also allow anyone to verify that all the votes were counted correctly.
- Random Beacon — Random Beacon is a website that generates publicly verifiable random seeds each day using stock data. A publicly verifiable random data source allows anyone to organize fair audits. For example, election auditors can use it to determine what precincts to audit after an election, and — assuming no one has complete control over the stock market — no one can select or predict what precincts will be audited. It should come online in March or late April of 2011.
Small code snippets that I think other people might find interesting.
- AutoKey implementation in Haskell
- AES implementation in PHP (shows each round), source
- GF of x4+1 in PHP, source
Older Miscellaneous Projects
Older projects on which I have worked.
- Punchscan Voting System
- Cyber Defense Exercises
- The VVSG Open Forum
- EzPGP — A plugin for Thunderbird that attempts to automate all the PGP signing, encrypting, and verification. You can unzip the archive and look around if you want. It should not work for current versions of Thunderbird, and I don't know which version it was meant to work with. This was part of a course project.