Shlomi Dolev Livres

The book delves into the principles of self-stabilization, offering insights into the design of self-stabilizing distributed systems. It emphasizes the importance of creating systems that can recover from any transient faults without external intervention, showcasing various techniques and methodologies. Through practical examples, the author illustrates how to implement these concepts effectively, making it a valuable resource for those interested in distributed computing and system reliability.

This book constitutes the proceedings of the first International Symposium on Cyber Security Cryptography and Machine Learning, held in Beer-Sheva, Israel, in June 2017. The 17 full and 4 short papers presented include cyber security; secure software development methodologies, formal methods semantics and verification of secure systems; fault tolerance, reliability, availability of distributed secure systems; game-theoretic approaches to secure computing; automatic recovery of self-stabilizing and self-organizing systems; communication, authentication and identification security; cyber security for mobile and Internet of things; cyber security of corporations; security and privacy for cloud, edge and fog computing; cryptography; cryptographic implementation analysis and construction; secure multi-party computation; privacy-enhancing technologies and anonymity; post-quantum cryptography and security; machine learning and big data; anomaly detection and malware identification; business intelligence and security; digital forensics; digital rights management; trust management and reputation systems; information retrieval, risk analysis, DoS.

OCS, the International Workshop on Optical SuperComputing, is a new annual forum for research presentations on all facets of optical computing for solving hard computation tasks. Optical computing devices have the potential to build the very next computing infrastructure. Given the frequency limitations and cross-talk phenomena, as well as the soft-errors, of electronic devices on one hand, and the natural parallelism of optical computing devices, as well as the advances in ? ber optics and optical switches, on the other hand, optical c- puting is becoming increasingly marketable. The focus of the workshop is on research surrounding the theory, design, speci? cation, analysis, implementation, and application of optical supercomputers. Topics of interest include, but are not limited to: design of optical computing devices; electro-optics devices for interacting with optical computing devices; practical implementations; analysis of existing devices and case studies; optical and laser switching technologies; applications and algorithms for optical devices; and alpha practical, x-rays and nano-technologies for optical computing. The First OSC workshop was held on August 26th, 2008, in Vienna, Austria, co-located with the 7th International Conference on Unconventional Computing. This volume contains eight contributions selected by the program committee andtwoinvitedpapers. Allsubmittedpaperswerereadandevaluatedbyatleast three program committee members, assisted by external reviewers. The review process was aided by the EasyChair system. OSC 2008 was organized in cooperation with OSA the Optical Society of America. The support of Ben-Gurion University and Babe?-Bolyai University is also gratefully acknowledged.

The papers in this volume were presented at the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), held from September 20–22, 2010, at Columbia University, NYC, USA. This symposium serves as an international forum for researchers and practitioners focused on the design and development of distributed systems with self-* properties, including self-stabilizing, self-configuring, self-organizing, self-managing, self-repairing, self-healing, self-optimizing, self-adaptive, and self-protecting capabilities. Research in distributed systems is currently at a pivotal point, emphasizing dynamic systems like peer-to-peer networks, large-scale wireless sensor networks, mobile ad hoc networks, cloud computing, and robotic networks. Additionally, new applications such as grid and web services, banking and e-commerce, e-health, robotics, aerospace, avionics, automotive, and industrial process control have emerged alongside traditional applications. The SSS began as the Workshop on Self-Stabilizing Systems (WSS) in 1989 and transitioned to a biennial format starting in 1995. As the community grew, the forum was renamed in 2003 to reflect its broader scope, becoming an annual event focused on the stabilization, safety, and security of distributed systems.

This book constitutes the reviewed proceedings of the 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, ALGOSENSORS 2009, held in Rhodes, Greece, July 10-11, 2009. The 21 full papers and two brief announcements were carefully selected from 41 submissions. This workshops aimed at bringing together research contributions related to diverse algorithmic and complexity-theoretic aspects of wireless sensor networks. The topics include but are not limited to optimization problems, noise and probability, robots and tours.

DISC, the International Symposium on DIStributed Computing, serves as an annual platform for presenting research on all aspects of distributed computing, including theory, design, analysis, implementation, and application of distributed systems and networks. The 20th anniversary edition took place from September 18-20, 2006, in Stockholm, Sweden, featuring 145 extended abstracts. This volume includes 35 selected contributions by the Program Committee, along with one invited paper. Each submission was evaluated by at least three committee members, with support from external reviewers. The final decisions were made during a committee meeting in Beer-Sheva on June 30 and July 1, 2006. The Best Student Award was shared between two papers: one on compact routing schemes by Arthur Bradly and Lenore Cowen, and another on a fast distributed approximation algorithm for minimum spanning trees by Maleq Khan and Gopal Pandurangan. Additionally, the proceedings feature 13 brief announcements (BAs), which represent ongoing works not yet ready for full papers or recent results presented at other conferences. These BAs, selected from 26 submissions, aim to highlight current research insights and experiences in distributed computing.