CASCADES is a low-cost, open source, FPGA-based demonstration of a secure and end-to-end-verifiable voting system. It comes pre-installed with a custom RISC-V CPU softcore and can be configured and customized as needed.
CASCADES is meant for widespread use in project-based academic and professional development courses that teach cybersecurity topics such as secure hardware design and verification, secure coding, secure compilation, and election security.
CASCADES was originally developed within Galois, a company established in 1999 to develop develop technology to guarantee the trustworthiness of systems where failure is unacceptable. Free & Fair is a spinoff of Galois that focuses exclusively on secure and verifiable elections technology.
We provide elections services and systems meeting the same reliability and security standards as the US federal government demands for national security. Our system designs and architecture are reviewed by the world’s foremost experts in academia and industry. Our products are provably correct, secure, and open source.