19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)

SSS is an international forum for researchers and practitioners in the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Research in distributed systems is now at a crucial point in its evolution, marked by the importance and variety of dynamic distributed systems such as peer-to-peer networks, large-scale sensor networks, mobile ad-hoc networks,and cloud computing. Moreover, new applications such as grid and web services, distributed command and control, and a vast array of decentralized computations in a variety of disciplines has driven the need to ensure that distributed computations are self-stabilizing, performant, safe and secure.

The symposium takes a broad view of the self-managed distributed systems area and encourages the submission of original contributions spanning fundamental research and practical applications within its scope, covered by the three symposium tracks: (i) Stabilizing Systems: Theory and Practice, (ii) Distributed Computing and Communication Networks, as well as (iii) Computer Security and Information Privacy.

If you require a letter in support for a visa application, please email Emily Johnson at emilypj@bu.edu to request one.

Here is a link to the conference chairs: https://www.cs.bgu.ac.il/~fradmin/SSS17/Contact.html

Topics of interest include, but are not limited to:

• Self-stabilizing systems,
• Practically-stabilizing systems,
• Self-* abstractions,
• Stabilization and self-* properties with relation to dependability of hardware, software and middleware,
• Self-stabilizing software defined infrastructure,
• Safety and Self-Stabilization,
• Self-stabilizing autonomous mobile agents,
• Distributed and concurrent algorithms and data structures, synchronization protocols,
• Shared and transactional memory,
• Formal Methods, validation, verification, and synthesis,
• Game-theory and economical aspects of distributed computing,
• Randomization in distributed computing,
• Biological distributed algorithms,
• Communication networks (protocols, architectures, services, applications),
• High-performance, cluster, cloud and grid computing,
• Mesh and ad-hoc networks (wireless, mobile, sensor),
• Location and context-aware systems, Mobile agents, robots, and rendezvous,
• Social systems, peer-to-peer and overlay networks,
• Population Protocols,
• Infection Dynamics,
• Network security Privacy,
• Internet-of-Things Security,
• Secure cloud computing,
• Mobile sensor networks / ad-hoc networks security,
• Verifiable/fault-tolerant computing,
• Anomaly and networked malware detection,
• Cryptocurrencies and distributed consensus protocols,
• Secure multi-party computation/applied crypto,
• Distributed Ledger and Blockchain.