Worked with a team at the University of Michigan to develop a novel voting system with strong security guarantees. Our paper presenting this design is currently in progress, and more details will be available after publication.

Investigated existing procedures for pre-election logic & accuracy testing, and invented new classes of attacks that can subvert them for all known jurisdictions. Additionally created new testing techniques that are proven to be secure against the same threat model. Our paper presenting these attacks and defenses is currently in progress, and more details will be available after publication.