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

Donald Beaver

dblp:05/241 · DBLP profile ↗
← Back
25ranked-venue papers
24as first author
1since 2021 · last 2023
0000-0003-3728-6674ORCID · corroborated

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

Security and privacy · 17 · 17 first-author · 1 since 2021Theory of computation · 7 · 7 first-authorSystems, architecture and hardware · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021

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
22 papers
Cryptographic protocols and secure computation · 72% Cryptographic primitives and cryptanalysis · 16% Privacy and data protection · 10%
Theoretical computer science
2 papers
Quantum computing and quantum information · 64% Distributed computing theory · 36%
Computer architecture, parallel and distributed computing, and storage systems
3 papers
Distributed systems · 100%

Topics — the 24 heaviest of 25, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation
secure multiparty computation
0.191998
Quorum-Based Secure Multi-party Computation · EUROCRYPT 1998
Correlated Pseudorandomness and the Complexity of Private Computations · STOC 1996
Secure Multiparty Protocols and Zero-Knowledge Proof Systems Tolerating a Faulty Minority · J. Cryptol. 1991
Cryptographic protocols and secure computation
oblivious transfer
0.141998
Adaptively Secure Oblivious Transfer · ASIACRYPT 1998
Commodity-Based Cryptography (Extended Abstract) · STOC 1997
Equivocable Oblivious Transfer · EUROCRYPT 1996
Privacy and data protection › privacy analysis › privacy models
plausible deniability
0.012002
On Deniability in Quantum Key Exchange · EUROCRYPT 2002
Cryptographic protocols and secure computation › key management › key distribution
quantum key distribution
0.012002
On Deniability in Quantum Key Exchange · EUROCRYPT 2002
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs
0.031996
Adaptive Zero Knowledge and Computational Equivocation (Extended Abstract) · STOC 1996
Hiding Instances in Zero-Knowledge Proof Systems (Extended Abstract) · CRYPTO 1990
Secure Multiparty Protocols and Zero-Knowledge Proof Systems Tolerating a Faulty Minority · J. Cryptol. 1991
Cryptographic primitives and cryptanalysis
encryption
0.011997
Plug and Play Encryption · CRYPTO 1997
Cryptographic protocols and secure computation › secure multiparty computation
adaptive security
0.011996
Adaptive Zero Knowledge and Computational Equivocation (Extended Abstract) · STOC 1996
Cryptographic primitives and cryptanalysis
pseudorandomness
0.011996
Correlated Pseudorandomness and the Complexity of Private Computations · STOC 1996
Cryptographic primitives and cryptanalysis
precomputation
0.011995
Precomputing Oblivious Transfer · CRYPTO 1995
Cryptographic primitives and cryptanalysis
integer factorization
0.011994
Factoring: The DNA Solution · ASIACRYPT 1994
Quantum computing and quantum information
quantum cryptography
0.012002
On Deniability in Quantum Key Exchange · EUROCRYPT 2002
Quantum computing and quantum information › quantum cryptography
quantum key distribution
0.012002
On Deniability in Quantum Key Exchange · EUROCRYPT 2002
Distributed systems
fault tolerance
0.022000
Minimal-Latency Secure Function Evaluation · EUROCRYPT 2000
Multiparty Computation with Faulty Majority (Extended Announcement) · FOCS 1989
Distributed systems
secure computation
0.012000
Minimal-Latency Secure Function Evaluation · EUROCRYPT 2000
Cryptographic protocols and secure computation › secure multiparty computation
round complexity
0.011990
The Round Complexity of Secure Protocols (Extended Abstract) · STOC 1990
Distributed systems
consensus
0.011998
Quorum-Based Secure Multi-party Computation · EUROCRYPT 1998
Distributed systems
quorum systems
0.011998
Quorum-Based Secure Multi-party Computation · EUROCRYPT 1998
Blockchain and cryptocurrency security › consensus protocol
byzantine fault tolerance
0.011989
Multiparty Computation with Faulty Majority (Extended Announcement) · FOCS 1989
Cryptographic protocols and secure computation
secret sharing
0.011989
Multiparty Computation with Faulty Majority (Extended Announcement) · FOCS 1989
Cryptographic protocols and secure computation › secret sharing
verifiable secret sharing
0.011989
Multiparty Computation with Faulty Majority (Extended Announcement) · FOCS 1989
Distributed computing theory › fault tolerance › byzantine fault tolerance
byzantine agreement
0.011989
Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction · PODC 1989
Distributed computing theory
fault tolerance
0.011989
Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction · PODC 1989
Cryptographic protocols and secure computation
composable security
0.011996
Equivocable Oblivious Transfer · EUROCRYPT 1996
Distributed systems › consensus
byzantine agreement
0.011989
Multiparty Computation with Faulty Majority (Extended Announcement) · FOCS 1989

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

commodity-based cryptography · 0.0correlated pseudorandomness · 0.0computational equivocation · 0.0round complexity analysis · 0.0oblivious transfer · 0.0verifiable secret sharing · 0.0one-way functions · 0.0secure multiparty computation · 0.0broadcast channels · 0.0broadcast channel · 0.0
YearPublicationVenuePosition
2023 STROBE: Streaming Threshold Random Beacons
Donald Beaver, Kostas Kryptos Chalkias, Mahimna Kelkar, Eleftherios Kokoris-Kogias, Kevin Lewi, Ladi de Naurois, Valeria Nikolaenko, Arnab Roy 0001, Alberto Sonnino
AFT1
2002 On Deniability in Quantum Key Exchange
Donald Beaver
EUROCRYPT1
2000 Minimal-Latency Secure Function Evaluation
Donald Beaver
EUROCRYPT1
1998 Adaptively Secure Oblivious Transfer
Donald Beaver
ASIACRYPT1
1998 One-Time Tables for Two-Party Computation
Donald Beaver
COCOON1
1998 Quorum-Based Secure Multi-party Computation
Donald Beaver, Avishai Wool
EUROCRYPT1
1997 Plug and Play Encryption
Donald Beaver
CRYPTO1
1997 Commodity-Based Cryptography (Extended Abstract)
abstract
We introduce a new paradigm for the efficient de- sign of protocols for secure joint computation requiring minimal interaction.Instead of relying on trusted and specialized devices, unproven cryptographic assumptions, or highly interactive multiparty computations, we propose a commoditybased model in which servers provide security resources to clients but are not involved in the clients' computations themselves.Unlike oracles, which typically provide comput ational resources such as the resnlts of infeasible computations, these servers assist clients in establishing shared resources for secure computations such as oblivious transfer and circuit evaluation, broadcast and multiparty computations.Unlike protocols for secure multiparty computation, the servers themselves are "non-interactive," having no knowledge whatsoever of each other, and providing security resources in a single message.This approach to secure interactive computing obviates the need for unproven cryptographic assumptions, special hardware (such as oblivious transfer channels), completely-connected networks, or global knowledge and synchronization.It gracefully accommodates expansion without introducing bottlenecks (even polynomial) at larger scales.We give explicit constructions supporting oblivious transfer and network multicast.
Donald Beaver
STOC1
1997 Locally Random Reductions: Improvements and Applications
Donald Beaver, Joan Feigenbaum, Joe Kilian, Phillip Rogaway
J. Cryptol.1
1996 Equivocable Oblivious Transfer
Donald Beaver
EUROCRYPT1
1996 Correlated Pseudorandomness and the Complexity of Private Computations
abstract
Article Free Access Share on Correlated pseudorandomness and the complexity of private computations Author: Donald Beaver Transarc Corp., Gulf Tower, 707 Grant St., Pittsburgh, PA Transarc Corp., Gulf Tower, 707 Grant St., Pittsburgh, PAView Profile Authors Info & Claims STOC '96: Proceedings of the twenty-eighth annual ACM symposium on Theory of ComputingJuly 1996 Pages 479–488https://doi.org/10.1145/237814.237996Online:01 July 1996Publication History 125citation730DownloadsMetricsTotal Citations125Total Downloads730Last 12 Months64Last 6 weeks17 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 SiteeReaderPDF
Donald Beaver
STOC1
1996 Adaptive Zero Knowledge and Computational Equivocation (Extended Abstract)
Donald Beaver
STOC1
1995 Precomputing Oblivious Transfer
Donald Beaver
CRYPTO1
1994 Factoring: The DNA Solution
Donald Beaver
ASIACRYPT1
1991 Foundations of Secure Interactive Computing
Donald Beaver
CRYPTO1
1991 Efficient Multiparty Protocols Using Circuit Randomization
Donald Beaver
CRYPTO1
1991 Secure Multiparty Protocols and Zero-Knowledge Proof Systems Tolerating a Faulty Minority
Donald Beaver
J. Cryptol.1
1990 Security with Low Communication Overhead
Donald Beaver, Joan Feigenbaum, Joe Kilian, Phillip Rogaway
CRYPTO1
1990 Hiding Instances in Zero-Knowledge Proof Systems (Extended Abstract)
Donald Beaver, Joan Feigenbaum, Victor Shoup
CRYPTO1
1990 Hiding Instances in Multioracle Queries
Donald Beaver, Joan Feigenbaum
STACS1
1990 The Round Complexity of Secure Protocols (Extended Abstract)
abstract
In a network of n players, each player i having private input zi, we show how the players can collaboratively evaluate a function f(zl, ..., zn) in a way that does not compromise the privacy of the players' inputs, and yet requires only a constant number of rounds of interaction.The underlying model of computation is a complete network of private channels, with broadcast, and a majority of the players must behave honestly.Our solution assumes the existence of a one-way function.share bi to player i.For some parameter t, t < n/2, we require that no t players get information about b from their pieces; and yet, b is recoverable, and is known to be recoverable, given the cooperation of the n -t good players--even if the t bad players try to obstruct b's recovery, or try to alter the recovered value.The value b which a player has effectively "committed to" is independent of the values that honest players may concurrently be committing to.After the sharing stage, a computation stage follows, in which each player, given his own shares of xl, ..., x,~, computes his own share of f(zt,..., z,~).To accomplish this, the function f to be evaluated is represented by a
Donald Beaver, Silvio Micali, Phillip Rogaway
STOC1
1989 Multiparty Protocols Tolerating Half Faulty Processors
Donald Beaver
CRYPTO1
1989 Multiparty Computation with Faulty Majority
Donald Beaver, Shafi Goldwasser
CRYPTO1
1989 Multiparty Computation with Faulty Majority (Extended Announcement)
abstract
The problem of performing a multiparty computation when more than half of the processors are cooperating Byzantine faults is addressed. It is shown how to compute any Boolean function of n inputs distributively, preserving the privacy of inputs held by nonfaulty processors and ensuring that faulty processors obtain the function value if and only if the nonfaulty processors do. If the nonfaulty processors do not obtain the correct function value, they detect cheating with high probability. The solution is based on a new type of verifiable secret sharing in which the secret is revealed not all at once but in small increments. This process ensures that all processors discover the secret at roughly the same time. The solution assumes the existence of an oblivious transfer protocol and uses broadcast channels. The processors are not required to have equal computing power.>
Donald Beaver, Shafi Goldwasser
FOCS1
1989 Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction
abstract
Article Non-cryptographic fault-tolerant computing in constant number of rounds of interaction Share on Authors: J. Bar-Ilan Hebrew University Hebrew UniversityView Profile , D. Beaver Harvard University Harvard UniversityView Profile Authors Info & Claims PODC '89: Proceedings of the eighth annual ACM Symposium on Principles of distributed computingJune 1989 Pages 201–209https://doi.org/10.1145/72981.72995Online:01 June 1989Publication History 163citation1,190DownloadsMetricsTotal Citations163Total Downloads1,190Last 12 Months94Last 6 weeks18 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
Judit Bar-Ilan, Donald Beaver
PODC2