Dolev turned a workshop on self-stabilization (Austin, 1989) into a series of events on the subject. Dolev's MA thesis, under the supervision of
Shlomo Moran and Amos Israeli resulted in the most cited paper on self-stabilization, following the pioneering paper of Dijkstra introducing the concept of fair composition of self-stabilizing systems. Dolev's contribution to the investigation of self-stabilization spans several decades of research and publications, including research on randomized self-stabilizing algorithms, He has researched Super Stabilizing algorithms that react gracefully to dynamic changes while preserving the automatic recovery property offered by self-stabilizing systems. Dolev also introduced with co-authors, the concepts of, Silent Stabilization, Local stabilization, Practically Stabilizing, Self-stabilizing and Self-organizing, Transient Failure Detectors and yielding Labeling Schemes. He also presented the first silent self-stabilizing depth first search distributed algorithm. Another research interest is
mobile ad-hoc networks, including the use of messages random walks, GeoQuarum and
virtual infrastructure, where mobile devices currently populating a geographic region implement virtual automata for the region, yielding a fixed infrastructure. Dolev's research in
cryptography and
cyber security research contributions include the introduction of the xor-trees and buses, secret sharing communication and the accumulating automata and secret shared
random-access machine, which evolved to patents and establishment of start-ups. Research on
optical computing and complexity complements Dolev's cryptographic research, searching for the use of computation gaps, and provable hard on average instances. Dolev initiated a series of four optical supercomputing workshops and several journal special issues (e.g., Optical High-Performance Computing—JOSA A and
Applied Optics and Optical SuperComputing). Published several papers including a commentary in the Nature photonics journal, a nature communication contribution on
reversible computing and a patent. Dolev has also contributed to research in
Complex Networks,
Hash Function Data Structures, Brain Science, Real-time Computation, Compression,
Game Theory,
Erasure Correcting,
Transactional Memory, Error Correcting Computations,
Verification,
Machine Learning,
Nanotechnology and
Cache replacement policy. ==References==