Donald Beaver

发表

Computing with DNA

Donald Beaver, 1995, J. Comput. Biol..

On the Isolation of a Common Secret

Peter Winkler, Donald Beaver, Stuart Haber, 2013, The Mathematics of Paul Erdős II.

Formal Definitions for Secure Distributed Protocols

Donald Beaver, 1989, Distributed Computing And Cryptography.

Multiparty computation with faulty majority

Donald Beaver, Shafi Goldwasser, S. Goldwasser, 1989, 30th Annual Symposium on Foundations of Computer Science.

The Round Complexity of Secure Protocols (Extended Abstract)

Silvio Micali, Donald Beaver, Phillip Rogaway, 1990, STOC 1990.

On Deniability in Quantum Key Exchange

Donald Beaver, Donald Beaver, 2002, EUROCRYPT.

Multiparty Computation with Faulty Majority

Donald Beaver, Shafi Goldwasser, 1989, CRYPTO.

Adaptively Secure Oblivious Transfer

Donald Beaver, Donald Beaver, 1998, ASIACRYPT.

Security with Low Communication Overhead

Joan Feigenbaum, Joe Kilian, Donald Beaver, 1990, CRYPTO.

Efficient Multiparty Protocols Using Circuit Randomization

Donald Beaver, Donald Beaver, 1991, CRYPTO.

Network security and storage security: symmetries and symmetry-breaking

Donald Beaver, 2002, First International IEEE Security in Storage Workshop, 2002. Proceedings..

Cryptographic Protocols Provably Secure Against Dynamic Adversaries

Donald Beaver, Stuart Haber, Donald Beaver, 1992, EUROCRYPT.

One-Time Tables for Two-Party Computation

Donald Beaver, Donald Beaver, 1998, COCOON.

Equivocable Oblivious Transfer

Donald Beaver, Donald Beaver, 1996, EUROCRYPT.

Donald Beaver, Donald Beaver, 1996, STOC '96.

Factoring: The DNA Solution

Donald Beaver, Donald Beaver, 1994, ASIACRYPT.

Plug and Play Encryption

Donald Beaver, Donald Beaver, 1997, CRYPTO.

A universal molecular computer

Donald Beaver, Donald Beaver, 1995, DNA Based Computers.

Foundations of Secure Interactive Computing

Donald Beaver, Donald Beaver, 1991, CRYPTO.

Precomputing Oblivious Transfer

Donald Beaver, Donald Beaver, 1995, CRYPTO.

Secure multiparty protocols and zero-knowledge proof systems tolerating a faulty minority

Donald Beaver, Donald Beaver, 2004, Journal of Cryptology.

Perfect Privacy For Two-Party Protocols

Donald Beaver, 1989, Distributed Computing And Cryptography.

Hiding Instances in Multioracle Queries

Joan Feigenbaum, Donald Beaver, J. Feigenbaum, 1990, STACS.

Multiparty Protocols Tolerating Half Faulty Processors

Donald Beaver, Donald Beaver, 1989, CRYPTO.

Adaptive zero knowledge and computational equivocation (extended abstract)

Donald Beaver, Donald Beaver, 1996, STOC '96.

Non-cryptographic fault-tolerant computing in constant number of rounds of interaction

Judit Bar-Ilan, Donald Beaver, Donald Beaver, 1989, PODC '89.

Minimal-Latency Secure Function Evaluation

Donald Beaver, 2000, EUROCRYPT.

How to Break a "Secure" Oblivious Transfer Protocol

Donald Beaver, Donald Beaver, 1992, EUROCRYPT.

Multiparty Computation with Faulty Majority (Extended Announcement)

Donald Beaver, Shafi Goldwasser, 1989, FOCS 1989.

Commodity-based cryptography (extended abstract)

Donald Beaver, Donald Beaver, 1997, STOC '97.

Dapper, a Large-Scale Distributed Systems Tracing Infrastructure

Donald Beaver, Manoj Plakal, Luiz Andre Barroso, 2010 .

Quorum-Based Secure Multi-party Computation

Donald Beaver, Avishai Wool, Donald Beaver, 1998, EUROCRYPT.

Global, Unpredictable Bit Generation Without Broadcast

Donald Beaver, Nicol So, Donald Beaver, 1994, EUROCRYPT.

Hiding Instances in Zero-Knowledge Proof Systems (Extended Abstract)

Joan Feigenbaum, Donald Beaver, Victor Shoup, 1990, CRYPTO.

Server-assisted cryptography

Donald Beaver, Donald Beaver, 1998, NSPW '98.

Locally random reductions: Improvements and applications

Joan Feigenbaum, Joe Kilian, Donald Beaver, 1997, Journal of Cryptology.

TOEIC テスト・ナビゲーター = Navigator for the TOEIC Test

Donald Beaver, Michael Walker, 三原京, 2004 .

The round complexity of secure protocols

Silvio Micali, Donald Beaver, Phillip Rogaway, 1990, STOC '90.

Applied Awareness: Test-Driven GUI Development using Computer Vision and Cryptography pdf

Donald Beaver, 2020, ArXiv.

Software Integrity and Validation Using Cryptographic Composability and Computer Vision

Donald Beaver, 2021, CSCML.

STROBE: Stake-based Threshold Random Beacons

Donald Beaver, Konstantinos Chalkias, Kevin Lewi, 2021, IACR Cryptol. ePrint Arch..

Instance-Hiding Proof Systems

Joan Feigenbaum, Rafail Ostrovsky, Donald Beaver, 1999 .