Recent Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of copyright holder. Since most of these research works are published, the copyright has been transferred to the respective publishing houses. Therefore, the papers cannot be duplicated for commercial purposes. Here is ACM's copyright notice. The other publishers have similar ones.
 Shlomi Dolev, Juan Garay, Niv Gilboa, Vladimir Kolesnikov ``Swarming Secrets'' In 47th Annual Allerton Conference, 2009.
 Shlomi Dolev and Yinnon Haviv, Apparatus and methods for stabilization of processors, operating systems and other hardware and/or software configurations, USPTO Application number: 20080098205.
 Natan T. Shaked, Tal Tabib, Gil Simon, Stephane Messika, Shlomi Dolev, and Joseph Rosen ``Optical binary-matrix synthesis for solving bounded NP-complete combinatorial problems'', Optical Engineering, 46, 108201, October, 2007.
 Shlomi Dolev, Limor Lahiani, and Moti Yung ``Secret Swarm Unit, Reactive k-Secret Sharing,'' Proc. of the 8th International Conference on Cryptology in India, LNCS 4859, (INDOCRYPT 2007), pp. 123-137, December 2007. Technical Report #12 2007, Department of Computer Science, Ben-Gurion University, September 2007.
 Shlomi Dolev, Marina Kopeetsky, and Adi Shamir ``RFID Authentication Efficient Proactive Information Security within Computational Security,'' Technical Report #08 2007, Department of Computer Science, Ben-Gurion University, July 2007. Patent application
 Shlomi Dolev, and Hen Fitoussi. ``The Traveling Beams, Optical Solutions for Bounded NP-Complete Problems'' Fourth International Conference on Fun with Algorithms (FUN2007), LNCS 4475, pp. 120-134, 2007.
 James Aspnes, Costas Busch, Shlomi Dolev, Panagiota Fatourou, Chryssis Georgiou, Alex Shvartsman, Paul Spirakis, and Roger Wattenhofer. ``Eight open problems in distributed computing'', Bulletin of the European Association for Theoretical Computer Science, 90:109, October 2006.
 Natan T. Shaked, Stephane Messika, Shlomi Dolev, and Joseph Rosen ``Optical solution for bounded NP-complete problems'', Applied Optics, Vol. 46, Issue 5, pp. 711-724, 2007.
 Shlomi Dolev, and Marina Sadetsky. ``Heuristic Certificates via Approximations'', Technical Report #05-07, Department of Computer Science, Ben-Gurion University, February 2007.
 Olga Brukman, Shlomi Dolev, Yinnon Haviv, Reuven Yagel ``Self-Stabilization as a Foundation for Autonomic Computing'' Proc. of the IEEE ARES 2007 Workshop on Foundation of Fault-tolerance Distributed Computing, (FOFDC 2007), 2007.
 Ronen Kat, Debbie Kedar, Shlomi Dolev, Shlomi Arnon, ``Searching a Lion in the Desert Acquisition Algorithms for Networks of Sensors'', Proc. of the 24th IEEE Conference of Electrical and Electronics Engineers in Israel, 2006.
 Shlomi Dolev, and Nir Tzachar ``Empire of Colonies Self-Stabilizing and Self-Orgenizing Distributed Algorithms'', Proc. of the 2006 International Conference On Principles Of Distributed Systems, (OPODIS), pp. 230-243, LNCS 4305, 2006.
 Shlomi Dolev, Ronen Kat and Elad Schiller ``When Consensus Meets Self-Stabilization, Self-Stabilizing Failure-Detector, Consensus and Replicated State-Machine'', Proc. of the 2006 International Conference On Principles Of Distributed Systems, (OPODIS), pp. 45-63, LNCS 4305, 2006.
 Shlomi Dolev, and Reuven Yagel, ``Self-Stabilizing Device Drivers'' Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS 4280, pp. 276-289, 2006.
 Olga Brukman and Shlomi Dolev, ``Recovery Oriented Programming'' Proc. of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006), LNCS 4280, pp. 152-168, 2006. Also a poster in the ACM 20th Symposium on Operating Systems Principles, (SOSP) 2005,
 Shlomi Dolev, Ephriem Korach, and Galit Uzan, ``A Method for Encryption and Decryption of Messages'' PCT Patent Application WO 2006/001006 January 5 2006.
 Shlomi Dolev, Limor Lahiani, Nancy Lynch, and Tina Nolte. ``Self-Stabilizing Mobile Location Management and Message Routing'', Technical Report MIT-LCS-TR-999, MIT CSAIL, Cambridge, MA 02139, August 2005. Proc. of the 7th Symposium on Self-Stabilizing Systems, (SSS 2005), LNCS 3764, pp. 96-112, 2005.
 Shlomi Dolev, Yinnon Haviv, and Mooly Sagiv. ``Self-Stabilization Preserving Compiler''. Technical Report #05-06, Department of Computer Science, Ben-Gurion University, August 2005. Proc. of the 7th Symposium on Self-Stabilizing Systems, (SSS 2005), LNCS 3764, pp. 81-95, 2005.
 Shlomi Dolev, and Reuven Yagel. ``Memory Management for Self-Stabilizing Operating Systems'', Technical Report #05-05, Department of Computer Science, Ben-Gurion University, August 2005. Proc. of the 7th Symposium on Self-Stabilizing Systems, (SSS 2005), LNCS 3764, pp. 113-127, 2005. Also a poster in the ACM 20th Symposium on Operating Systems Principles, (SOSP) 2005, and the 1st EuroSys Doctoral Workshop (SOSP 2005).
 Shlomi Dolev, Seth Gilbert, Elad Schiller, Alex Shvartsman and Jennifer Welch. ``Autonomous Virtual Mobile Nodes'', Technical Report MIT-LCS-TR-992, MIT CSAIL, Cambridge, MA 02139, June 2005. The third ACM/SIGMOBILE International Workshop on Foundation of Mobile Computing (DIAL-M-POMC) 2005. Also brief announcement in SPAA 2005.
 Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy Lynch, and Tina Nolte. ``Virtual Stationary Automata for Mobile Networks'', Technical Report MIT-LCS-TR-979, MIT CSAIL, Cambridge, MA 02139, January 2005. Brief announcement in PODC 2005. Appeared in OPODIS 2005. A citation.
 Davidovitch, L., Dolev, S., and Rajsbaum, S.,. ``Consensus Continue? Stability of Multi-Valued Continuous Consensus!'', Proc. of the sixth workshop on Geometric and Topological Methods in Concurrency and Distributed Computing, (GETCO 2004), October 2004. Also presented in the Fourth Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms, May 2004.
 Dolev, S., and Nir, Y. ``Optical implementation of bounded non-determistic Turing machines'' US Patent Application #20050013531 January 20 2005. Also here, and here.
 Dolev, S. and Gersten, O., ``Robust Active SuperTier Systems'', IEEE International Conference on Software-Science, Technology & Engineering, (SwSTE05), 2005.
 Carmi, P., Dolev, S., Har-Peled, S., Katz, M., Segal, M., ``Geographic Quorum Systems Approximations'', Algorithmica, 41 (4):233-244, 2005.
 Beimel, A., Dolev, S., and Singer, N., ``RT oblivious erasure correcting'', IEEE Information Theory Workshop, San Antonio, 2004. Presented in the Fourth Haifa Workshop on Interdisciplinary Applications of Graph Theory, Combinatorics and Algorithms, May 2004. Also Brief announcement in Proc. of the 23th Annual ACM Symp. on Principles of Distributed Computing, (PODC 2004), 2004. IEEE/ACM Transactions on Networking version
 Dolev, S., Gilbert, S., Lynch, N. A., Schiller, E., Shvartsman, A., Welch, J., ``Virtual Mobile Node for Mobile Ad Hoc Networks'' 18th International Conference on Principles of DIStributed Computing, Springer-Verlag LNCS:3274, (DISC 2004), pp. 230-244, 2004.
 Dolev, S., and Kat, R. I., ``HyperTree for Self-Stabilizing Peer-to-Peer Systems'', 3rd IEEE International Symp. on Network Computing and Applications (IEEE NCA04), pp. 25-32, 2004.
 Dolev, S. and Yagel, R., ``Toward Self-Stabilizing Operating Systems'' 2nd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS04), 2004.
 Dolev, S., Herman, T., and Lahiani, L., ``Polygonal Broadcast, Secret Maturity and the Firing Sensors'' Third International Conference on Fun with Algorithms (FUN2004), pp. 41-52, May 2004. Ad Hoc Networks Journal.
 Dolev, S., Gilbert, S., Lynch, N. A., Shvartsman, A., Welch, J., ``GeoQuorum: Implementing Atomic Memory in Ad Hoc Networks'' 17th International Conference on Principles of DIStributed Computing, Springer-Verlag LNCS:2848, (DISC 2003), pp. 306-320, 2003. Distributed Computing Journal.
 Dolev, S., and Haviv, Y. ``Self-Stabilizing Microprocessor, Analyzing and Overcoming Soft-Errors'' 17th International Conference on Architecture of Computing Systems Springer-Verlag LNCS:2981, (ARCS 2004), pp. 31-46, 2004. IEEE Transactions on Computers.
 Dolev, S., Schiller, E., ``Self-Stabilizing Group Communication in Directed Networks'' Proc. of the 6th Symposium on Self-Stabilizing Systems, (SSS 2003). Acta Informatica, Vol. 40, Number 9, pp. 609-639, 2004.
 Brukman, O., Dolev, S., and Kolonder, E., ``Self-Stabilizing Autonomic Recovorer for Eventual Byzantine Software'', Proc. of the IEEE International Conference on Software - Science and Technology, pp. 20-29, 2003. Workshop on Adaptive Distributed Systems (WADiS03), Sorrento, Italy, 2003.
 Dolev, S., Kat, R., ``Self-Stabilizing Distributed File Systems'', International Workshop on Self-Repairing and Self-Configurable Distributed Systems, (RCDS 2002), pp. 384-389, Japan, 2002. High-Speed Networks Journal.linux-magazine, kernel News
 Dolev, S., Schiller, E. and Welch, J. ``Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks'', Technical Report #02-04 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel, 2002. Proc. of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS 2002) pp. 70-79. Also PODC 2002 pp. 259.
 Abraham, U., Dolev, S., Herman, T., and Koll, I., ``Self-Stabilizing l-exclusion'', Theoretical Computer Science, Vol. 266/1-2, pp. 653-692, Sept. 2001.
 Beimel, A., Dolev, S., ``Buses for Anonymous Message Delivery'', (pdf) Fun with Algorithms 2, Carleton Scientific Press, pp. 1-13, 2001. Journal of Cryptology, 16(1):25--39, 2003.
 Dolev, S., Stomp, F., ``Safety Assurance via On-Line Monitoring'', Proc. of the Fifth International Symposium on Autonomous Decentralized Systems (ISADS 2001), pp. 101-108, 2001. Distributed Computing, Volume 16, Number 4, pp. 269-277, December 2003.
 Dolev, S., Herman, T., ``Dijkstra's Self-Stabilizing Algorithm in Unsupportive Environments'', Proc. of the 5th Workshop on Self-Stabilization, (WSS01), LNCS:2194, pp. 67-81, 2001.
 Dolev, S., Schiller, E., ``Communication Adaptive Self-Stabilizing Group Communication'', Technical Report #00-02 Department of Computer Science Ben-Gurion University, Beer-Sheva, Israel, 2000. IEEE Transactions on Parallel and Distributed Systems, Vol. 14, No. 7, (July 2003), pp. 709-720.
 Dolev, S., Rajsbaum, S., ``Stability of Long-lived Consensus'', Proc. of the 19th Annual ACM Symp. on Principles of Distributed Computing, 2000. Journal of Computer and System Sciences, Vol. 67, Issue 1, pp. 26-45, August 2003.
 Dolev, S., Kesselman, A., ``Bounded Latency Scheduling Scheme for ATM Cells'', Proc. of the 4th IEEE Symposium on Computers and Communications, pp. 273-277, 1999. Journal of Computer Networks and ISDN Systems, pp. 325-331 vol. 32 (3) (2000). A citation.
 Dolev, S., Segala, R., and Shvartsman, A., ``Dynamic Load Balancing with Group Communication'' Technical Report MIT-LCS-TM-588, Laboratory of Computer Science, Massachusetts Institute of Technology, 1998. Proc. of the 6th International Colloquium on Structural Information and Communication Complexity, (SIROCCO 1999), pp. 111-125, 1999.
 Dolev, S., Korach, E., and Yukelson, D., ``The Sound of Silence: Guessing Games for Saving Energy in Mobile Environment'' Eighteenth Annual Joint Conference of IEEE Computer and Communications Societies (IEEE INFOCOM'99), pp. 768-775, 1999. Journal of Parallel and Distributed Computing, Vol. 61, No. 7, pp. 868-883 (July 2001), special issue on wireless networks.
 Dolev, S., and Ostrovesky, R., ``Xor-Trees for Efficient Anonymous Multicast and Reception'' (pdf) Technical Report #99-03 Department of Mathematics and Computer Science Ben-Gurion University, Beer-Sheva, Israel, November 1998. Extended abstract in the Proc. of the Seventeenth Annual IACR Crypto Conference, CRYPTO'97, Springer-Verlag LNCS:1294, pp. 395-409, 1997. ACM Transactions on Information and System Security, Vol. 3, No. 2, May 2000 pp. 63-84. Interesting papers on the subject.
 Dolev, S., Fitingof, B., Melkman, A., and Tubman, O., ``Smooth and Adaptive Forward Erasure Correcting'' Computer Networks Journal, special edition on Overlay Networks, Vol. 36, Issue 2-3, (July 2001) 343-355.
 Beauquier, J., Delaet, S., Dolev, S., and Tixeuil, S., ``Transient Fault Detectors'' Proc. of the 12th International Symposium on DIStributed Computing, Springer-Verlag LNCS:1499, pp. 62-74, 1998.
 Dolev, S., Kesselman, A., ``Non-Preemptive Real-Time Scheduling of Multimedia Tasks'' Proc. of the 3rd IEEE Symposium on Computers and Communications, pp. 652-656, 1998. Journal of Real-Time Systems, Volume 17, Issue 1, pp. 23-39, July 1999.
 Yehuda Afek and Shlomi Dolev, ``Local Stabilizer'' Proc. of the 5th Israeli Symposium on Theory of Computing and Systems, pp. 74-84, 1997. Also: Technical Report #97-02 Department of Mathematics and Computer Science Ben-Gurion University, Beer-Sheva, Israel, February 1997. Journal of Parallel and Distributed Computing, special issue on self-stabilizing distributed systems, Vol. 62, No. 5, pp. 745-765 (May 2002).
 Shlomi Dolev, ``Possible and Impossible Self-Stabilizing Digital Clock Synchronization in General Graphs'' Journal of Real-Time Systems, Vol. 12, No. 1, pp. 95-107, 1997. Available version: Technical Report #96-06 Department of Mathematics and Computer Science Ben-Gurion University, Beer-Sheva, Israel, August 1996.
 Shlomi Dolev, Evangelos Kranakis, and Danny Krizanc, ``Baked Potato Routing'' Proc. of the 4th Israeli Symposium on Theory of Computing and Systems, pp. 27-36, 1996. Journal of Algorithms, 30, pp. 379-399, 1999. Available version: Technical Report #95-07 Department of Mathematics and Computer Science Ben-Gurion University, Beer-Sheva, Israel, October 1995.
 Shlomi Dolev, Mohamed G. Gouda, and Marco Schneider, ``Memory Requirements for Silent Stabilization'' Proc. of the 15th Annual ACM Symp. on Principles of Distributed Computing, pp. 27-34, 1996. Acta Informatica, 36 447-462, 1999.
 Collin, Z., and Dolev, S., ``Self-Stabilizing Depth First Search,'' Information Processing Letters, 49, pp. 297-301, 1994 (ps file).
 Dolev, S., Kranakis, E., Krizanc, D., and Peleg, D., ``Bubbles: Adaptive Routing Scheme for High-Speed Dynamic Networks,'' 27th ACM Symposium on Theory of Computing, pp. 528-537, 1995. SIAM Journal on Computing, Vol. 29 No. 3, pp. 804-833, 1999. TR-253 School of Computer Science, Carleton University, Ottawa, Canada, 1994 and Technical Report #95-08 Department of Mathematics and Computer Science Ben-Gurion University, Beer-Sheva, Israel, December 1995. (ps file). A citation.
 Dolev, S., and Pradhan, D. K., Welch, L. J., ``Modified Tree Structure for Location Management in Mobile Environments,'' Fourteenth Annual Joint Conference of IEEE Computer and Communications Societies (IEEE INFOCOM'95), Vol 2, pp. 530-537, 1995 (ps file). Journal version, Computer Communications, Vol. 19, No. 4, pp. 335-345, 1996. Related Patent.
 Attiya, H., Dolev, S. and Welch, L. J., ``Connection Management Without Retaining Information,'' 28th Hawaii International Conference on System Science, Vol. II, pp. 622-631, 1995 (ps file). Journal version, Information and Computation, Vol. 123, No. 2, pp. 155-171, Dec. 1995.
 Dolev, S., ``Optimal Time Self-Stabilization in Uniform Dynamic Systems,'' 6th IASTED International Conference on Parallel and Distributed Computing and Systems, pp. 25-28, 1994 (ps file). Parallel Processing Letters, Vol. 8 No. 1, pp. 7-18, 1998.
 Abello, J. and Dolev, S., ``On the Computational Power of Self-Stabilizing Systems,'' Journal of Computing and Information, Vol. 1, No. 1, Special Issue: Proceedings of the 6th International Conference on Computing and Information, pp. 585-603 (B10), 1994 (ps file). Theoretical Computer Science, Vol. 182, pp. 159-170, 1997.
 Dolev, S., Kate, M., and Welch, L. J., ``A Competitive Analysis for Retransmission Timeout,'' 15th International Conference on Distributed Computing Systems, pp. 450-455, 1995 (ps file). Networks, Vol. 34 No.1, pp. 73-80, 1999.
 Dolev, S., and Herman, T., ``SuperStabilizing Protocols for Dynamic Distributed Systems,'' Proc. of the 2nd Workshop on Self-Stabilizing Systems, UNLV, May 1995 (ps file). Chicago Journal of Theoretical Computer Science, 3(4) special issue on self-stabilization, 1997.
 Dolev, S., and Welch, J., ``Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults,'' Proc. of the 2nd Workshop on Self-Stabilizing Systems, UNLV, May 1995 (ps file). Journal of the ACM, Vol. 51, No. 5, pp. 780-799, September 2004. A review.
 Abu-Amara, H., Coan, B., Dolev, S., Kanevsky, A. and Welch, L. J., ``A Fault-Tolerant Layered Approach to Fiber-Optic Networks,'' High-Speed Networking and Multimedia Computing, Arturo A. Rodriguez, Mon-Song Chen, Jacek Maitan, Editors, Proc. SPIE 2188 pp. 380-390, 1994. Technical Report 94-050 Dept. of Computer Science, Texas A&M University (ps file). Journal version: IEEE/ACM Transactions on Networking, Vol. 4, No. 6, pp. 902-912, 1996.
 Dolev, S., ``Optimal Time Self Stabilization in Dynamic Systems,'' Proc. of the 7th International Workshop on Distributed Algorithms, pp. 160-173, 1993 (ps file). Journal of Parallel and Distributed Computing, Vol. 42, pp. 122-127, May 1997.
 Dolev, S., and Welch, L. J., ``Crash Resilient Communication in Dynamic Networks,'' Proc. of the 7th International Workshop on Distributed Algorithms, pp. 129-144, 1993 (ps file). Journal version: IEEE Transactions on Computers, Vol. 46, No. 1, pp. 14-26, 1997.
 Dolev, S. and Welch, L. J., ``Wait-Free Clock Synchronization,'' Proc. of the 12th Annual ACM Symp. on Principles of Distributed Computing, pp. 97-108, 1993 (ps file). Algorithmica, Vol. 18, pp. 486-511, 1997.
 Arora, A., Dolev, S., and Gouda, G. M., ``Maintaining Digital Clocks in Step'', Parallel Processing Letters, Vol. 1, No. 1, pp. 11-18, 1991 (ps file).
 Dolev, S., Israeli, A., and Moran, S., ``Analyzing Expected Time by Scheduler-Luck Games,'' Technical Report, 807-94, Department of Computer Science, Technion, Israel (ps file). IEEE Transactions on Software Engineering, Vol. 21, No. 5, pp. 429-439, May 1995.
 Dolev, S., Israeli, A., and Moran, S., ``Uniform Dynamic Self Stabilizing Leader Election,'' Proc. of the 5th International Workshop on Distributed Algorithms, pp. 167-180, 1991. The version available: Technical Report 94-039, Department of Computer Science, Texas A&M University (ps file). Journal version: IEEE Transactions on Parallel and Distributed Systems, Vol. 8 No. 4, pp. 424-440, April 1997.
 Dolev, S., Israeli, A., and Moran, S., ``Resource Bounds for Self Stabilizing Message Driven Protocols,'' Proc. of the 10th Annual ACM Symp. on Principles of Distributed Computing, pp. 281-293, 1991 (ps file). Journal version: SIAM Journal on Computing, Vol. 26, No. 1, pp. 273-290, February 1997.
 Dolev, S., Israeli, A., and Moran, S., ``Self-Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity,'' Proc. of the 9th Annual ACM Symp. on Principles of Distributed Computing, pp. 103-118, 1990.