Book section 2021

A Declaration of Software Independence

Reference

Wojciech Jamroga, Peter Y A Ryan, Steve Schneider, Carsten Schürmann and Philip B Stark, ‘A Declaration of Software Independence’ in Protocols, Strands, and Logic (Springer 2021) 198

Full text (gated)

Revisits Rivest and Wack's principle of software independence for voting systems, arguing that an election outcome should come with sufficient evidence to convince observers that it is correct, and formalises the notion.

All publications

A Declaration of Software Independence

Reference

Hub authors