An independent audit framework for software dependent voting systems. - Sujata Garera; Aviel D. Rubin (CCS, 2007)

On the Difficulty of Validating Voting Machine Software with Software. - Ryan W. Gardner; Sujata Garera; Aviel D. Rubin (EVT, 2007)

Coercion Resistant End-to-end Voting. - Ryan W. Gardner; Sujata Garera; Aviel D. Rubin (Financial Cryptography, 2009)

Challenges in teaching a graduate course in applied cryptography. - Sujata Garera; Jorge Vasconcelos (ACM SIGCSE Bull., 2009)

Detecting code alteration by creating a temporary memory bottleneck. - Ryan W. Gardner; Sujata Garera; Aviel D. Rubin (IEEE Trans. Inf. Forensics Secur., 2009)

Designing for Audit: A Voting Machine with a Tiny TCB. - Ryan W. Gardner; Sujata Garera; Aviel D. Rubin (Financial Cryptography, 2010)