Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Josh Benaloh

dblp:53/5909 · also Josh Cohen Benaloh, Josh D. Cohen · DBLP profile ↗
← Back
10ranked-venue papers
8as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 6 · 5 first-author · 1 since 2021Theory of computation · 2 · 2 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
8 papers
Cryptographic protocols and secure computation · 76% Cryptographic primitives and cryptanalysis · 24% Privacy and data protection · 1%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 12 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › electronic voting
verifiable voting
0.812024
ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections · USENIX Security Symposium 2024
Cryptographic primitives and cryptanalysis
homomorphic encryption
0.322024
ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections · USENIX Security Symposium 2024
Shuffle-sum: coercion-resistant verifiable tallying for STV voting · IEEE Trans. Inf. Forensics Secur. 2009
Cryptographic protocols and secure computation
verifiable shuffle
0.112009
Shuffle-sum: coercion-resistant verifiable tallying for STV voting · IEEE Trans. Inf. Forensics Secur. 2009
Cryptographic protocols and secure computation › electronic voting
coercion resistance
0.012009
Shuffle-sum: coercion-resistant verifiable tallying for STV voting · IEEE Trans. Inf. Forensics Secur. 2009
Cryptographic protocols and secure computation
electronic voting
0.031994
Receipt-free secret-ballot elections (extended abstract) · STOC 1994
Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract) · PODC 1986
A Robust and Verifiable Cryptographically Secure Election Scheme (Extended Abstract) · FOCS 1985
Cryptographic protocols and secure computation › electronic voting
receipt-free voting
0.011994
Receipt-free secret-ballot elections (extended abstract) · STOC 1994
Cryptographic protocols and secure computation
secret sharing
0.021988
Generalized Secret Sharing and Monotone Functions · CRYPTO 1988
Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing · CRYPTO 1986
Privacy and data protection › anonymity
voter privacy
0.021994
Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract) · PODC 1986
Receipt-free secret-ballot elections (extended abstract) · STOC 1994
Cryptographic protocols and secure computation › secret sharing
homomorphic secret sharing
0.011986
Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing · CRYPTO 1986
Cryptographic protocols and secure computation
verifiable computation
0.011985
A Robust and Verifiable Cryptographically Secure Election Scheme (Extended Abstract) · FOCS 1985
Distributed systems
distributed coordination
0.011986
Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract) · PODC 1986
Cryptographic primitives and cryptanalysis
encryption
0.011985
A Robust and Verifiable Cryptographically Secure Election Scheme (Extended Abstract) · FOCS 1985

Methods — techniques the papers use, named apart from their topics

end-to-end verifiable voting · 0.8cryptographic toolkit · 0.8homomorphic encryption · 0.1verifiable shuffles · 0.1monotone function theory · 0.0zero-knowledge proofs · 0.0
YearPublicationVenuePosition
2024 ElectionGuard: a Cryptographic Toolkit to Enable Verifiable Elections
Josh Benaloh, Michael Naehrig, Olivier Pereira, Dan S. Wallach
USENIX Security Symposium1
2009 Shuffle-sum: coercion-resistant verifiable tallying for STV voting
abstract
There are many advantages to voting schemes in which voters rank all candidates in order, rather than just choosing their favorite. However, these schemes inherently suffer from a coercion problem when there are many candidates, because a coercer can demand a certain permutation from a voter and then check whether that permutation appears during tallying. Recently developed cryptographic voting protocols allow anyone to audit an election (universal verifiability), but existing systems are either not applicable to ranked voting at all, or reveal enough information about the ballots to make voter coercion possible. We solve this problem for the popular single transferable vote (STV) ranked voting system, by constructing an algorithm for the verifiable tallying of encrypted votes. Our construction improves upon existing work because it extends to multiple-seat STV and reveals less information than other schemes. The protocol is based on verifiable shuffling of homomorphic encryptions, a well-studied primitive in the voting arena. Our protocol is efficient enough to be practical, even for a large election.
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
IEEE Trans. Inf. Forensics Secur.1
2003 Using Character Recognition and Segmentation to Tell Computer from Humans
abstract
How do you tell a computer from a human? The situation arises often on the Internet, when online polls are conducted, accounts are requested, undesired email is received, and chat-rooms are spammed. The approach we use is to create a visual challenge that is easy for humans but difficult for a computer. More specifically, our challenge is to recognize a string of random distorted characters. To pass the challenge, the subject must type in the correct corresponding ASCII string. From an OCR point of view, this problem is interesting because our goal is to use the vast amount of accumulated knowledge to defeat the state of the art OCR algorithms. This is a role reversal from traditional OCR research. Unlike many other systems, our algorithm is based on the assumption that segmentation is much more difficult than recognition. Our image challenges present hard segmentation problems that humans are particularly apt at solving. The technology is currently being used in MSN's Hotmail registration system, where it has significantly reduced daily registration rate with minimal Consumer Support impact.
Patrice Y. Simard, Richard Szeliski, Josh Benaloh, Julien Couvreur, Iulian Calinov
ICDAR3
2002 A Secure Directory Service based on Exclusive Encryption
abstract
We describe the design of a Windows file-system directory service that ensures the persistence, integrity, privacy, syntactic legality, and case-insensitive uniqueness of the names it indexes. Byzantine state replication provides persistence and integrity, and encryption imparts privacy. To enforce Windows' baroque name syntax - including restrictions on allowable characters, on the terminal character, and on several specific names - we develop a cryptographic process, called "exclusive encryption," that inherently excludes syntactically illegal names and that enables the exclusion of case-insensitively duplicate names without access to their plaintext. This process excludes entire names by mapping the set of allowed strings to the set of all strings, excludes certain characters through an amended prefix encoding, excludes terminal characters through varying the prefix coding by character index, and supports case-insensitive comparison of names by extracting and encrypting case information separately. We also address the issues of hiding name-length information and access-authorization information, and we report a newly discovered problem with enforcing case-insensitive uniqueness for Unicode names.
John R. Douceur, Atul Adya, Josh Benaloh, William J. Bolosky, Gideon Yuval
ACSAC3
1994 Receipt-free secret-ballot elections (extended abstract)
Josh Benaloh, Dwight Tuinstra
STOC1
1988 Generalized Secret Sharing and Monotone Functions
Josh Benaloh, Jerry Leichter
CRYPTO1
1986 Cryptographic Capsules: A Disjunctive Primative for Interactive Protocols
Josh Benaloh
CRYPTO1
1986 Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing
Josh Benaloh
CRYPTO1
1986 Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract)
abstract
Article Distributing the power of a government to enhance the privacy of voters Share on Authors: Josh C Benaloh Yale University Yale UniversityView Profile , Moti Yung Columbia University Columbia UniversityView Profile Authors Info & Claims PODC '86: Proceedings of the fifth annual ACM symposium on Principles of distributed computingNovember 1986 Pages 52–62https://doi.org/10.1145/10590.10595Online:01 November 1986Publication History 138citation559DownloadsMetricsTotal Citations138Total Downloads559Last 12 Months23Last 6 weeks5 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Josh Benaloh, Moti Yung
PODC1
1985 A Robust and Verifiable Cryptographically Secure Election Scheme (Extended Abstract)
abstract
This paper describes a cryptographic scheme for holding a secure secret ballot election in which all communication is public. Voters cast their votes electronically, suitably encrypted, and a “government” releases a tally and a proof of its correctness which can be verified by all.
Josh Benaloh, Michael J. Fischer
FOCS1