VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
Josh Benaloh
Senior Cryptographer
Publications
Publications by Year
-
-
Public Evidence from Secret Ballots
Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
October 2017
DOI Publication Publication Publication Publication Publication
The Weakness of Cumulative Voting
October 2017
-
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
-
End-to-end verifiablity
Josh Benaloh, Ronald Rivest, Peter Y. A. Ryan, Philip Stark, Vanessa Teague, Poorvi Vora
February 2014
-
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
-
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
-
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
-
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
-
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
-
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
-
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
-
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
-
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
Dense Probabilistic Encryption
Selected Areas of Cryptography | May 1994
Improving Privacy in Cryptographic Elections
MSR-TR-1994-3 | April 1994
Published by Microsoft
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
Published by Microsoft
-
One-Way Accumulators: A Decentralized Alternative to Digital Signatures
Josh Benaloh, Michael de Mare
Eurocrypt 93 | May 1993
-
Efficient Broadcast Time-Stamping
Josh Benaloh, Michael de Mare
MSR-TR-1991-2 | April 1991
Published by Microsoft
-
Generalized Secret Sharing and Monotone Functions
Jerry Leichter, Josh Benaloh
Crypto 88 | September 1988
-
Verifiable Secret-Ballot Elections
September 1987
PhD Thesis: Yale University | September 1987
Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret
Crypto '86 | January 1987
-
Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols
Crypto '86 | August 1986
Distributing the Power of a Government to Enhance the Privacy of Voters
Josh Benaloh, Moti Yung
Principles of Distributed Computing | August 1986
-
A Robust and Verifiable Cryptographically Secure Election Scheme
Josh Benaloh, Michael J. Fischer
Proceedings of 26th Symposium on Foundations of Computer Science | September 1985
Publications by Research Area
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
Dense Probabilistic Encryption
Selected Areas of Cryptography | May 1994
Improving Privacy in Cryptographic Elections
MSR-TR-1994-3 | April 1994
Published by Microsoft
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
Published by Microsoft
One-Way Accumulators: A Decentralized Alternative to Digital Signatures
Josh Benaloh, Michael de Mare
Eurocrypt 93 | May 1993
Efficient Broadcast Time-Stamping
Josh Benaloh, Michael de Mare
MSR-TR-1991-2 | April 1991
Published by Microsoft
Generalized Secret Sharing and Monotone Functions
Jerry Leichter, Josh Benaloh
Crypto 88 | September 1988
Verifiable Secret-Ballot Elections
September 1987
PhD Thesis: Yale University | September 1987
Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret
Crypto '86 | January 1987
Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols
Crypto '86 | August 1986
Distributing the Power of a Government to Enhance the Privacy of Voters
Josh Benaloh, Moti Yung
Principles of Distributed Computing | August 1986
A Robust and Verifiable Cryptographically Secure Election Scheme
Josh Benaloh, Michael J. Fischer
Proceedings of 26th Symposium on Foundations of Computer Science | September 1985
VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
The Weakness of Cumulative Voting
October 2017
Public Evidence from Secret Ballots
Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
October 2017
DOI Publication Publication Publication Publication Publication
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
End-to-end verifiablity
Josh Benaloh, Ronald Rivest, Peter Y. A. Ryan, Philip Stark, Vanessa Teague, Poorvi Vora
February 2014
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
-
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols
Crypto '86 | August 1986
Publications by Type
-
Receipt-Free Secret-Ballot Elections
Dwight Tuinstra, Josh Benaloh
STOC '94 Proceedings of the Twenty-sixth Annual ACM Symposium on Theory of Computing | May 1994
Dense Probabilistic Encryption
Selected Areas of Cryptography | May 1994
One-Way Accumulators: A Decentralized Alternative to Digital Signatures
Josh Benaloh, Michael de Mare
Eurocrypt 93 | May 1993
Generalized Secret Sharing and Monotone Functions
Jerry Leichter, Josh Benaloh
Crypto 88 | September 1988
Secret Sharing Homomorphisms: Keeping Shares of a Secret Secret
Crypto '86 | January 1987
Cryptographic Capsules: A Disjunctive Primitive for Interactive Protocols
Crypto '86 | August 1986
Distributing the Power of a Government to Enhance the Privacy of Voters
Josh Benaloh, Moti Yung
Principles of Distributed Computing | August 1986
A Robust and Verifiable Cryptographically Secure Election Scheme
Josh Benaloh, Michael J. Fischer
Proceedings of 26th Symposium on Foundations of Computer Science | September 1985
VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
Public Evidence from Secret Ballots
Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
October 2017
DOI Publication Publication Publication Publication Publication
Verifiable Postal Voting
Josh Benaloh, Peter Y.A. Ryan, Vanessa Teague
Proceedings of 21st International Workshop | March 2013
SOBA: Secrecy-preserving Observable Ballot-level Audit
Josh Benaloh, Douglas Jones, Eric L. Lazarus,, Mark Lindeman, Philip B. Stark
Proceedings of the 2011 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '11) | August 2011
Patient Controlled Encryption: Patient Privacy in Electronic Medical Records
Josh Benaloh, Melissa Chase, Eric Horvitz, Kristin Lauter
The ACM Cloud Computing Security Workshop | November 2009
On Subliminal Channels in Encrypt-on-Cast Voting Systems
Ariel J. Feldman, Josh Benaloh
Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections (EVT/WOTE '09) | August 2009
Administrative and Public Verifiability: Can We Have Both?
Proceedings of the 2008 Electronic Voting Technology Workshop (EVT '08) | June 2008
Ballot Casting Assurance via Voter-Initiated Poll Station Auditing
Proceedings of the 2007 Electronic Voting Technology Workshop | June 2007
Simple Verifiable Elections
Proceedings of the 2006 Electronic Voting Technology Workshop | June 2006
Using Character Recognition and Segmentation to Tell Computer from Humans
7th International Conference on Document Analysis and Recognition | August 2003
7th International Conference on Document Analysis and Recognition
A Secure Directory Service based on Exclusive Encryption
John (JD) Douceur, Atul Adya, Josh Benaloh, Bill Bolosky, Gideon Yuval
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC) | December 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC)
-
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
Published by Microsoft
Improving Privacy in Cryptographic Elections
MSR-TR-1994-3 | April 1994
Published by Microsoft
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
Published by Microsoft
Efficient Broadcast Time-Stamping
Josh Benaloh, Michael de Mare
MSR-TR-1991-2 | April 1991
Published by Microsoft
The Trash Attack: An Attack on Verifiable Voting Systems and a Simple Mitigation
Josh Benaloh, Eric Lazarus
MSR-TR-2011-115 | October 2011
-
Keys under doormats: mandating insecurity by requiring government access to all data and communications
Harold Abelson, Ross Anderson, Steven M. Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Matthew Green, Susan Landau, Peter G. Neumann, Ronald L. Rivest, Jeffrey I. Schiller, Bruce Schneier, Michael A. Specter, Daniel J. Weitzner
Journal of Cybersecurity | November 2015
Rethinking Voter Coercion: The Realities Imposed by Technology
USENIX Journal of Election Technology and Systems (JETS) | August 2013
STAR-Vote: A Secure, Transparent, Auditable, and Reliable Voting System
Susan Bell, Josh Benaloh, Michael D. Byrne, Dana DeBeauvoir, Bryce Eakin, Gail Fisher, Philip Kortum, Neal McBurnett, Julian Montoya, Michelle Parker, Olivier Pereira, Philip B. Stark, Dan S. Wallach, Michael Winn
USENIX Journal of Election Technology and Systems (JETS) | August 2013
Shuffle-Sum: Coercion-Resistant Verifiable Tallying for STV Voting
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Transactions on Information Forensics and Security | January 2009
-
End-to-end verifiablity
Josh Benaloh, Ronald Rivest, Peter Y. A. Ryan, Philip Stark, Vanessa Teague, Poorvi Vora
February 2014
-
Verifiable Secret-Ballot Elections
September 1987
PhD Thesis: Yale University | September 1987