Abstract:
Free & Fair is a new elections company that is bringing formal methods to US elections. In this talk we will describe the range of techniques that we apply to make end-to-end guarantees of the systems that we sell to jurisdictions across the country. In the process of our work, we have researched:
