Shlomi Dolev

Shlomi Dolev received B.Sc. in Civil Engineering in 1984, B.A. in Computer Science in 1985, and his M.Sc. and D.Sc. in computer science in 1990 and 1992 respectively from the Technion Israel Institute of Technology. From 1992 to 1995, he was at Texas A&M University as a visiting research specialist.

In 1995 Dolev joined the Department of Mathematics and Computer Science at BGU. He was the founder and first department head of the Computer Science Department, established in 2000. After 15 years, the department was ranked among the first 150 best departments in the world.{{Cite web|url=http://www.shanghairanking.com/SubjectCS2015.html|title=Academic Ranking of World Universities in Computer Science - 2015 {{!}} 2015 Top 200 Universities in Computer Science {{!}} ARWU-SUBJECT 2015|website=www.shanghairanking.com|access-date=2017-12-30}}

He is the author of Self-Stabilization published by MIT Press in 2000.{{Cite book|url=https://books.google.com/books?id=UPdnRDX-ygQC&q=Dolev%2C+Shlomi+%282000%29.+Self-Stabilization&pg=PR7|title=Self-stabilization|last=Dolev|first=Shlomi|date=2000|publisher=MIT Press|isbn=9780262041782|language=en}} From 2011 to 2014, Dolev served as Dean of the Natural Sciences Faculty. From 2010 he has served for six years, as the Head of the Inter University Computation Center of Israel.{{Cite news|url=https://www.iucc.ac.il/about/leadership/|title=Leadership & Staff - IUCC- Inter-University Computation Center, ISRAEL|work=IUCC- Inter-University Computation Center, ISRAEL|access-date=2017-12-30|language=en-US}}

He is a co-founder, board member and CSO of Secret Double Octopus.[https://aabgu.org/bgu-cyber-security-spin-off-raises-big-money/# Secret Double Octopus]{{Cite web|url=https://doubleoctopus.com/|title=Secret Double Octopus - Password-free keyless security|website=doubleoctopus.com|language=en-US|access-date=2017-12-30}} He is also a co-founder of Secret Sky (SecretSkyDB) Ltd.{{Cite web|url=http://www.secretsky.io/|title=Secret Sky|website=www.secretsky.io|access-date=2017-12-30}} In 2015 Dolev was appointed head of the steering committee on computer science studies of the Israeli Ministry of Education.[http://sites.education.gov.il/cloud/home/machshev_robotika/Documents/tochnit_limudim_machsevim_robotika2.pdf Computer-Robotics programming]

Dolev together with Yuval Elovici and Ehud Gudes established the Telekom Innovation Laboratories at Ben-Gurion University. Dolev was instrumental in establishing the IBM Cyber Security Center of Excellence ([https://www.research.ibm.com/haifa/ccoe/ CCoE]) in Collaboration with Ben-Gurion University of the Negev, and [http://www.infor.co.il/img/PressMessage/2012/3/12/pm129966_31293319.DOC JVP] Cyber Labs.{{Cite news|url=https://www.itworld.com/article/2894051/why-israel-could-be-the-next-cybersecurity-world-power.html|title=Why Israel could be the next cybersecurity world power|last=Strom|first=David|work=ITworld|access-date=2017-12-30|language=en}} Several agencies and companies support his research including ISF, NSF, IBM (faculty awards), Verisign,{{Cite web|url=https://investor.verisign.com/releasedetail.cfm?releaseid=674766|title=Verisign "Building a Better Internet" Symposium to Highlight Internet Leaders and Visionaries (NASDAQ:VRSN)|website=investor.verisign.com|language=en|access-date=2017-12-30}} EMC, Intel, Orange France, Deutsche Telekom, US Airforce and the European Union in the sum of several millions of dollars.

Dolev was a visiting professor at MIT,{{Cite web|url=http://groups.csail.mit.edu/tds/vi-project/members.html|title=Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology|website=groups.csail.mit.edu|access-date=2017-12-30}} Paris 11, Paris 6 and DIMACS.{{Cite web|url=http://dimacs.rutgers.edu/People/VisitorsPast.html|title=Past Visitors At DIMACS|website=dimacs.rutgers.edu|access-date=2017-12-30}} He served in more than a hundred program committees, chairing two leading conferences in distributed computing, DISC 2006,{{Cite web|url=http://www.disc-conference.org/disc2006/mirror/|title=DISC 2006|website=www.disc-conference.org|access-date=2017-12-30}} and PODC 2014.{{Cite web|url=https://www.podc.org/podc2014/|title=ACM PODC 2014|website=www.podc.org|language=en-US|access-date=2017-12-30}} Recently Prof. Dolev established and chaired the International Symposium on Cyber Security Cryptography and Machine Learning.{{Cite web|url=https://www.cs.bgu.ac.il/~fradmin/cscml17/|title=CSCML 2017|website=www.cs.bgu.ac.il|access-date=2017-12-30}}

Dolev serves as an Associate Editor of the IEEE Transactions on Computers and PeerJ.{{Cite web|url=https://genealogy.math.ndsu.nodak.edu/id.php?id=86425|title=Shlomi Dolev - The Mathematics Genealogy Project|website=genealogy.math.ndsu.nodak.edu|access-date=2017-12-30}}

Dolev became a fellow of the European Alliance for Innovation in 2019, (EAI),{{Cite web|url=https://blog.eai.eu/we-are-proud-to-announce-the-first-eai-fellows/|title=We are proud to announce the first EAI Fellows {{!}} EAI Blog|date=10 May 2019 |language=en-US|access-date=2020-01-19}} and in 2020 became IEEE fellow.[https://web.archive.org/web/20191204053736/https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/fellows/2020-ieee-fellow-class.pdf]

Dolev turned a workshop on self-stabilization (Austin, 1989) into a series of events on the subject.{{Cite web|url=http://www.selfstabilization.org/~selfstab/|title=Self-Stabilization Home Page|website=www.selfstabilization.org|access-date=2017-12-30}}{{Cite web|url=https://www.cs.bgu.ac.il/~dolev/WSS95/cfp.html|title=WSS 95 Call For Papers|website=www.cs.bgu.ac.il|access-date=2017-12-30}}

Dolev's MA thesis, under the supervision of Shlomo Moran and Amos Israeli resulted in the most cited paper on self-stabilization,{{Cite book|last1=Dolev|first1=Shlomo|last2=Israeli|first2=Amos|last3=Moran|first3=Shlomo|title=Proceedings of the ninth annual ACM symposium on Principles of distributed computing |chapter=Self-stabilization of dynamic systems assuming only read/Write atomicity |date=1990|series=PODC '90|location=New York, NY, USA|publisher=ACM|pages=103–117|doi=10.1145/93385.93407|isbn=978-0897914048}} following the pioneering paper of Dijkstra{{Cite book|title=Selected Writings on Computing: A personal Perspective|url=https://archive.org/details/selectedwritings00dijk|url-access=limited|last=Dijkstra|first=Edsger W.|date=1982|publisher=Springer, New York, NY|isbn=9781461256977|series=Texts and Monographs in Computer Science|pages=[https://archive.org/details/selectedwritings00dijk/page/n58 41]–46|language=en|doi=10.1007/978-1-4612-5695-3_7|chapter = Self-Stabilization in Spite of Distributed Control}} 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,{{Cite journal|last1=Dolev|first1=S.|last2=Israeli|first2=A.|last3=Moran|first3=S.|date=April 1997|title=Uniform dynamic self-stabilizing leader election|journal=IEEE Transactions on Parallel and Distributed Systems|volume=8|issue=4|pages=424–440|doi=10.1109/71.588622|issn=1045-9219}} He has researched Super Stabilizing algorithms that react gracefully to dynamic changes while preserving the automatic recovery property offered by self-stabilizing systems.{{Cite journal|last1=Dolev|first1=Shlomi|last2=Welch|first2=Jennifer L.|date=September 2004|title=Self-stabilizing Clock Synchronization in the Presence of Byzantine Faults|journal= Journal of the ACM|volume=51|issue=5|pages=780–799|doi=10.1145/1017460.1017463|issn=0004-5411|citeseerx=10.1.1.48.9451|s2cid=8310509}} Dolev also introduced with co-authors, the concepts of, Silent Stabilization,{{Cite journal|last1=Dolev|first1=Shlomi|last2=Gouda|first2=Mohamed G.|last3=Schneider|first3=Marco|date=1999-10-01|title=Memory requirements for silent stabilization|journal=Acta Informatica|language=en|volume=36|issue=6|pages=447–462|doi=10.1007/s002360050180|s2cid=1392365|issn=0001-5903}} Local stabilization,{{Cite book|last1=Afek|first1=Y.|last2=Dolev|first2=S.|title=Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems |chapter=Local stabilizer |date=June 1997|pages=74–84|doi=10.1109/ISTCS.1997.595159|isbn=978-0-8186-8037-3|s2cid=46376063}} Practically Stabilizing,{{Cite journal|date=2010-12-01|title=When consensus meets self-stabilization|journal=Journal of Computer and System Sciences|volume=76|issue=8|pages=884–900|doi=10.1016/j.jcss.2010.05.005|issn=0022-0000|last1=Dolev|first1=Shlomi|last2=Kat|first2=Ronen I.|last3=Schiller|first3=Elad M.|doi-access=free}}{{Cite journal|date=2015-06-01|title=Practically stabilizing SWMR atomic memory in message-passing systems|journal=Journal of Computer and System Sciences|volume=81|issue=4|pages=692–701|doi=10.1016/j.jcss.2014.11.014|issn=0022-0000|last1=Alon|first1=Noga|last2=Attiya|first2=Hagit|last3=Dolev|first3=Shlomi|last4=Dubois|first4=Swan|last5=Potop-Butucaru|first5=Maria|last6=Tixeuil|first6=Sébastien|doi-access=}}{{Cite book|title=Networked Systems|last1=Blanchard|first1=Peva|last2=Dolev|first2=Shlomi|last3=Beauquier|first3=Joffroy|last4=Delaët|first4=Sylvie|date=2014|publisher=Springer, Cham|isbn=9783319095806|series=Lecture Notes in Computer Science|pages=99–121|language=en|doi=10.1007/978-3-319-09581-3_8|url=https://hal.archives-ouvertes.fr/hal-01253078/file/ss_paxos_extabs.pdf}}{{Cite book|last1=Dolev|first1=Shlomi|last2=Georgiou|first2=Chryssis|last3=Marcoullis|first3=Ioannis|last4=Schiller|first4=Elad M.|title=Networked Systems |chapter=Self-stabilizing Reconfiguration |date=2017-05-17|series=Lecture Notes in Computer Science|volume=10299 |language=en|publisher=Springer, Cham|pages=51–68|doi=10.1007/978-3-319-59647-1_5|isbn=9783319596464|arxiv=1606.00195}} Self-stabilizing and Self-organizing,{{Cite journal|date=2009-02-28|title=Empire of colonies: Self-stabilizing and self-organizing distributed algorithm|journal=Theoretical Computer Science|volume=410|issue=6–7|pages=514–532|doi=10.1016/j.tcs.2008.10.006|issn=0304-3975|last1=Dolev|first1=Shlomi|last2=Tzachar|first2=Nir|doi-access=}} Transient Failure Detectors and yielding Labeling Schemes.{{Cite book|last1=Beauquier|first1=Joffroy|last2=DelaËt|first2=Sylvie|last3=Dolev|first3=Shlomi|last4=Tixeuil|first4=Sébastien|title=Distributed Computing |chapter=Transient fault detectors |date=1998-09-24|series=Lecture Notes in Computer Science|volume=1499 |language=en|publisher=Springer, Berlin, Heidelberg|pages=[https://archive.org/details/distributedcompu0000disc/page/62 62–74]|doi=10.1007/BFb0056474|isbn=9783540650669|chapter-url-access=registration|chapter-url=https://archive.org/details/distributedcompu0000disc/page/62}} 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.{{Cite web|url=http://groups.csail.mit.edu/tds/vi-project/|title=Virtual Infrastructure - Theory of Distributed Systems Group - Massachusetts Institute of Technology|website=groups.csail.mit.edu|access-date=2017-12-30}}

Dolev's research in cryptography and cyber security research contributions include the introduction of the xor-trees{{Cite journal|last1=Dolev|first1=Shlomi|last2=Ostrobsky|first2=Rafail|date=May 2000|title=Xor-trees for Efficient Anonymous Multicast and Reception|journal= ACM Transactions on Information and System Security|volume=3|issue=2|pages=63–84|doi=10.1145/354876.354877|issn=1094-9224|citeseerx=10.1.1.73.6464|s2cid=9227352}} and buses,{{Cite journal|last1=Beimel|last2=Dolev|date=2003-01-01|title=Buses for Anonymous Message Delivery|journal=Journal of Cryptology|language=en|volume=16|issue=1|pages=25–39|doi=10.1007/s00145-002-0128-6|issn=0933-2790|citeseerx=10.1.1.16.1339|s2cid=15634853}} secret sharing communication{{Cite journal|date=2012-09-01|title=Secret swarm unit: Reactive k-secret sharing|journal=Ad Hoc Networks|volume=10|issue=7|pages=1291–1305|doi=10.1016/j.adhoc.2012.03.011|issn=1570-8705|last1=Dolev|first1=Shlomi|last2=Lahiani|first2=Limor|last3=Yung|first3=Moti}} and the accumulating automata{{Cite book|last1=Dolev|first1=Shlomi|last2=Gilboa|first2=Niv|last3=Li|first3=Ximing|title=Proceedings of the 3rd International Workshop on Security in Cloud Computing |chapter=Accumulating Automata and Cascaded Equations Automata for Communicationless Information Theoretically Secure Multi-Party Computation |date=2015|series=SCC '15|location=New York, NY, USA|publisher=ACM|pages=21–29|doi=10.1145/2732516.2732526|isbn=9781450334471|s2cid=1668625}} and secret shared random-access machine,{{Cite book|title=Algorithmic Aspects of Cloud Computing|last1=Dolev|first1=Shlomi|last2=Li|first2=Yin|date=2016|publisher=Springer, Cham|isbn=9783319299181|series=Lecture Notes in Computer Science|pages=19–34|language=en|doi=10.1007/978-3-319-29919-8_2}} 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,{{Cite journal|date=2016-07-11|title=Magnifying computing gaps: Establishing encrypted communication over unidirectional channels|journal=Theoretical Computer Science|volume=636|pages=17–26|doi=10.1016/j.tcs.2016.04.032|issn=0304-3975|last1=Dolev|first1=Shlomi|last2=Korach|first2=Ephraim|last3=Li|first3=Ximing|last4=Li|first4=Yin|last5=Uzan|first5=Galit|doi-access=free}} and provable hard on average instances.{{Cite book|last1=Dolev|first1=Shlomi|last2=Fandina|first2=Nova|last3=Gutfreund|first3=Dan|title=Algorithms and Complexity |chapter=Succinct Permanent is NEXP-Hard with Many Hard Instances: (Extended Abstract) |date=2013-05-22|series=Lecture Notes in Computer Science|volume=7878 |language=en|publisher=Springer, Berlin, Heidelberg|pages=183–196|doi=10.1007/978-3-642-38233-8_16|isbn=9783642382321}} Dolev initiated a series of four optical supercomputing workshops{{Cite book|volume = 7715|language=en-gb|doi=10.1007/978-3-642-38250-5|series = Lecture Notes in Computer Science|year = 2013|isbn = 978-3-642-38249-9|last1 = Dolev|first1 = Shlomi|last2 = Oltean|first2 = Mihai| title=Optical Supercomputing | date=2013 |s2cid = 13010557}} and several journal special issues (e.g., Optical High-Performance Computing—JOSA A and Applied Optics{{Cite journal|last1=Caulfield|first1=H. John|last2=Dolev|first2=Shlomi|last3=Green|first3=William M. J.|date=2009-08-01|title=Optical High-Performance Computing—JOSA A and Applied Optics: Introduction|journal=JOSA A|language=EN|volume=26|issue=8|pages=OHPC1–OHPC2|doi=10.1364/JOSAA.26.0OHPC1|pmid=19649109|issn=1520-8532|bibcode=2009JOSAA..26C...1C}} and Optical SuperComputing{{Cite journal|last1=Dolev|first1=Shlomi|last2=Oltean|first2=Mihai|date=2015-09-01|title=Optical SuperComputing: Preface to special issue|journal=Natural Computing|language=en|volume=14|issue=3|pages=431–432|doi=10.1007/s11047-015-9510-9|issn=1567-7818|doi-access=free}}). Published several papers including a commentary in the Nature photonics journal,{{Cite journal|title=Why future supercomputing requires optics|last1=Caulfield|first1=H. John|last2=Dolev|first2=Shlomi|date=2010-05-01|journal=Nature Photonics|volume=4|issue=5|pages=261–263|language=En|doi=10.1038/nphoton.2010.94}} a nature communication contribution{{Cite journal|last1=Cohen|first1=Eyal|last2=Dolev|first2=Shlomi|last3=Rosenblit|first3=Michael|date=2016-04-26|title=All-optical design for inherently energy-conserving reversible gates and circuits|journal=Nature Communications|language=En|volume=7|pages=11424|doi=10.1038/ncomms11424|pmid=27113510|bibcode=2016NatCo...711424C|pmc=4853429}} on reversible computing and a patent.{{cite patent|title=Optical implementation of bounded non-deterministic turing machines|pubdate=Jan 20, 2005|inventor-last=Dolev|inventor2-last=Nir|inventor-first=Shlomo|inventor2-first=Yuval|country=US|number=20050013531}}

Dolev has also contributed to research in Complex Networks,{{Cite journal|last1=Dolev|first1=Shlomi|last2=Elovici|first2=Yuval|last3=Puzis|first3=Rami|date=May 2010|title=Routing Betweenness Centrality|journal= Journal of the ACM|volume=57|issue=4|pages=25:1–25:27|doi=10.1145/1734213.1734219|s2cid=15662473|issn=0004-5411}} Hash Function Data Structures,{{Cite journal|date=2013-03-04|title=Unique permutation hashing|journal=Theoretical Computer Science|volume=475|pages=59–65|doi=10.1016/j.tcs.2012.12.047|issn=0304-3975|last1=Dolev|first1=Shlomi|last2=Lahiani|first2=Limor|last3=Haviv|first3=Yinnon|doi-access=free}} Brain Science,{{Cite journal|last1=Berend|first1=Daniel|last2=Dolev|first2=Shlomi|last3=Hanemann|first3=Ariel|date=2014-11-07|title=Graph Degree Sequence Solely Determines the Expected Hopfield Network Pattern Stability|journal=Neural Computation|volume=27|issue=1|pages=202–210|doi=10.1162/NECO_a_00685|pmid=25380334|s2cid=324693|issn=0899-7667}} Real-time Computation,{{Cite journal|last1=Dolev|first1=Shlomi|last2=Keizelman|first2=Alexander|date=1999-07-01|title=Non-Preemptive Real-Time Scheduling of Multimedia Tasks|journal=Real-Time Systems|language=en|volume=17|issue=1|pages=23–39|doi=10.1023/A:1008033411290|s2cid=21271497|issn=0922-6443}} Compression,{{Cite book|last1=Dolev|first1=S.|last2=Frenkel|first2=S.|last3=Kopeetsky|first3=M.|title=2014 IEEE 13th International Symposium on Network Computing and Applications |chapter=Entropy Adaptive On-Line Compression |date=August 2014|pages=162–166|doi=10.1109/NCA.2014.31|isbn=978-1-4799-5393-6|s2cid=16454780}} Game Theory,{{Cite book|title=Algorithms, Probability, Networks, and Games|volume = 9295|last=Dolev|first=Shlomi|date=2015|publisher=Springer, Cham|isbn=9783319240237|series=Lecture Notes in Computer Science|pages=25–26|language=en|doi=10.1007/978-3-319-24024-4_2|chapter = The Reality Game Theory Imposes (Short Summary)}} Erasure Correcting,{{Cite journal|last1=Beimel|first1=A.|last2=Dolev|first2=S.|last3=Singer|first3=N.|date=December 2007|title=RT Oblivious Erasure Correcting|journal= IEEE/ACM Transactions on Networking|volume=15|issue=6|pages=1321–1332|doi=10.1109/TNET.2007.896540|issn=1063-6692|citeseerx=10.1.1.75.2503|s2cid=1942801}} Transactional Memory,{{Cite book|last1=Dolev|first1=Shlomi|last2=Hendler|first2=Danny|last3=Suissa|first3=Adi|title=Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing |chapter=Car-STM |date=2008|series=PODC '08|location=New York, NY, USA|publisher=ACM|pages=125–134|doi=10.1145/1400751.1400769|isbn=9781595939890|s2cid=2244129}} Error Correcting Computations,{{Cite journal|last1=Dolev|first1=Shlomi|last2=Frenkel|first2=Sergey|last3=Tamir|first3=Dan E.|last4=Sinelnikov|first4=Vladimir|date=2013-12-01|title=Preserving Hamming Distance in Arithmetic and Logical Operations|journal=Journal of Electronic Testing|language=en|volume=29|issue=6|pages=903–907|doi=10.1007/s10836-013-5421-9|s2cid=10400423|issn=0923-8174}} Verification,{{Cite journal|last1=Brukman|first1=Olga|last2=Dolev|first2=Shlomi|date=2011-08-01|title=Recovery oriented programming: runtime monitoring of safety and liveness|journal=International Journal on Software Tools for Technology Transfer|language=en|volume=13|issue=4|pages=377–395|doi=10.1007/s10009-011-0200-3|s2cid=38141213|issn=1433-2779}} Machine Learning,{{Cite book|last1=Dolev|first1=Shlomi|last2=Leshem|first2=Guy|last3=Yagel|first3=Reuven|title=Proceedings of the Third International Workshop on Reliability, Availability, and Security |chapter=Purifying data by machine learning with certainty levels |date=2010|series=WRAS '10|location=New York, NY, USA|publisher=ACM|pages=5:1–5:6|doi=10.1145/1953563.1953567|isbn=9781450306423|s2cid=14923143}} Nanotechnology{{Cite book|last1=Cohen|first1=Eyal|last2=Dolev|first2=Shlomi|last3=Rosenblit|first3=Michael|title=Optical Supercomputing |chapter=A Nano-Optics Vector Matrix Multiplier for Implementing State Machines |date=2012-07-19|series=Lecture Notes in Computer Science|volume=7715 |language=en|publisher=Springer, Berlin, Heidelberg|pages=78–91|doi=10.1007/978-3-642-38250-5_9|isbn=9783642382499}} and Cache replacement policy.{{Cite journal|last1=Bitan|first1=Dor|last2=Dolev|first2=Shlomi|date=2019|title=Randomly Rotate Qubits Compute and Reverse --- IT-Secure Non-Interactive Fully-Compact Homomorphic Quantum Computations over Classical Data Using Random Bases|journal=Cryptology ePrint Archive |url=https://eprint.iacr.org/2019/1023}}

{{reflist}}

• [http://www.cs.bgu.ac.il/~dolev Shlomi Dolev's home page] at the Ben-Gurion University.
• {{cite web

| url=http://genealogy.math.ndsu.nodak.edu/id.php?id=86425

| title=Shlomi Dolev

| work=Mathematics Genealogy Project

}}

{{Authority control}}

{{DEFAULTSORT:Dolev, Shlomi}}

Category:Living people

Category:Israeli computer scientists

Category:Theoretical computer scientists

Category:Researchers in distributed computing

Category:1958 births