Designing for Audit: A Voting Machine with a Tiny TCB.

Ryan W. Gardner, Sujata Garera, Aviel D. Rubin

Browse the full FC paper archive.