scispace - formally typeset
D

Danny Dolev

Researcher at Hebrew University of Jerusalem

Publications -  330
Citations -  23987

Danny Dolev is an academic researcher from Hebrew University of Jerusalem. The author has contributed to research in topics: Asynchronous communication & Clock synchronization. The author has an hindex of 64, co-authored 327 publications receiving 22294 citations. Previous affiliations of Danny Dolev include California Institute of Technology & Stanford University.

Papers
More filters
Journal ArticleDOI

On the security of public key protocols

TL;DR: Several models are formulated in which the security of protocols can be discussed precisely, and algorithms and characterizations that can be used to determine protocol security in these models are given.
Proceedings ArticleDOI

Non-malleable cryptography

TL;DR: Non-malleable schemes for each of the contexts of string commitment and zero-knowledge proofs of possession of knowledge, where a user need not know anything about the number or identity of other system users are presented.
Journal ArticleDOI

Nonmalleable Cryptography

TL;DR: The cryptosystem is the first proven to be secure against a strong type of chosen ciphertext attack proposed by Rackoff and Simon, in which the attacker knows the ciphertext she wishes to break and can query the decryption oracle on any ciphertext other than the target.
Journal ArticleDOI

On the minimal synchronism needed for distributed consensus

TL;DR: The proofs expose general heuristic principles that explain why consensus is possible in certain models but not possible in others, and several critical system parameters, including various synchronicity conditions, are identified.
Journal ArticleDOI

The Byzantine Generals strike again

TL;DR: The results obtained in the present paper prove that unanimity is achievable in any distributed system if and only if the number of faulty processors in the system is less than one third of the total number of processors and less than half of the connectivity of the system''s network.