Deep Dive: Building Trustworthy Systems with Rigorous Digital Engineering
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.
Mobile Voting Core Cryptography Under Development
In July 2024, we were funded by Tusk Philanthropies to develop an open source, high-assurance cryptographic protocol library for end-to-end verifiable Internet voting (E2E-VIV), fit to serve as the core of a digital absentee voting system for U.S. elections.