Danny Dolev
Papers
1
Total Citations
78
H-Index
1
About
Danny Dolev is a pioneering computer scientist whose research spans distributed computing, fault tolerance, cryptography, and network protocols. He is best known for his seminal work on the Byzantine Generals Problem, which laid the theoretical foundation for achieving consensus in unreliable distributed systems—a cornerstone of modern blockchain and fault-tolerant computing. His 1986 paper, "Cheating husbands and other stories: A case study of knowledge, action, and communication" (78 citations), exemplifies his talent for using elegant, real-world analogies to illuminate complex concepts in knowledge and communication. Dolev’s contributions include the Dolev-Yao model for formal verification of cryptographic protocols, which remains a standard in security analysis. With over 10,000 citations, his work has profoundly influenced both theoretical computer science and practical systems, from cloud computing to secure multi-party computation. A recipient of the Dijkstra Prize and an ACM Fellow, Dolev continues to inspire researchers with his clarity, rigor, and ability to connect abstract theory to pressing technological challenges.
Research Focus
Key Achievements
Top Papers
- 1