Software fails too often, and in elections the cost of failure is catastrophic. We’ve published a new companion site that walks through how we build elections-related technology the careful way: using a traceable, model‑driven approach that ties requirements to implementation and lets us demonstrate the properties that matter such as ballot privacy, public auditability, and software independence. We call this methodology rigorous digital engineering.
The content leverages our mobile voting core cryptography project as an example application. The project is sponsored by Tusk Philanthropies and is slated to be completed later this month.
We invite you to explore the materials and provide feedback. Find the companion site about Rigorous Digital Engineering here, and stay tuned for the completion of the Cryptographic Voting Protocol.