He then moved to the Weizmann Institute of Science, earning a master's degree in 1973 and a doctorate in 1979 under the supervision of Eli Shamir.
He took a second position at the IBM Almaden Research Center from 1987 to 1993, but retained his appointment at the Hebrew University.
[3] Dolev has published many highly cited papers, including works on public-key cryptography,[7] non-malleable cryptography,[8] consensus in asynchronous distributed systems,[9] atomic broadcasting,[10] high availability and high-availability clusters,[11][12] and Byzantine fault tolerance.
Dolev was elected as an ACM Fellow in 2007 for his "contributions to fault-tolerant distributed computing".
[16] In 2011, Dolev and his co-authors Hagit Attiya and Amotz Bar-Noy were honored with the Edsger W. Dijkstra Prize in Distributed Computing for their work on implementing shared memory using message passing.