VAULT: Verifiable Audits Using Limited Transparency
Josh Benaloh, Philip B. Stark, Vanessa Teague
E-Vote-ID | October 2019
Josh Benaloh
Senior Cryptographer
论文与出版物
-
-
-
-
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
作者：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
作者：Microsoft
-
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
作者：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
作者：Microsoft
-
-
-
Generalized Secret Sharing and Monotone Functions
Jerry Leichter, Josh Benaloh
Crypto 88 | September 1988
-
-
-
Verifiable Secret-Ballot Elections
September 1987
博士论文：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
-
-
-
Key Compression and its Application to Digital Fingerprinting
MSR-TR-2001-121 | April 2001
作者：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
作者：Microsoft
-
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
作者：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
作者：Microsoft
-
Generalized Secret Sharing and Monotone Functions
Jerry Leichter, Josh Benaloh
Crypto 88 | September 1988
-
Verifiable Secret-Ballot Elections
September 1987
博士论文：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
-
-
-
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
作者：Microsoft
-
Improving Privacy in Cryptographic Elections
MSR-TR-1994-3 | April 1994
作者：Microsoft
-
Uncoercible Communication
Dwight Tuinstra, Josh Benaloh
MSR-TR-1994-4 | February 1994
作者：Microsoft
-
Efficient Broadcast Time-Stamping
Josh Benaloh, Michael de Mare
MSR-TR-1991-2 | April 1991
作者：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
博士论文：Yale University | September 1987
-