CASCADES
A Configurable, Affordable System-on-Chip for Analysis and Demonstration of Election Security
This project is launching soon.
0
updates
updates
This project is launching soon.
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.
Portland, OR · freeandfair.us
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.
A fully open source dual-channel SDR Raspberry Pi HAT with a tuning range up to 6 GHz
A low-cost dev kit for Microchip's PolarFire SoC, a low-power FPGA integrated with a hardened quad core 64-bit RISC-V microprocessor subsystem
A 64-core, RISC-V motherboard and workstation for native development
