SSS 2020 : International Symposium on Stabilizing, Safety, and Security of Distributed Systems

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. The symposium encourages submissions of original contributions on fundamental research and practical applications concerning topics in the four symposium tracks:
Track A. Self-Stabilization
Self-stabilizing systems
Variants of Self-stabilization
Topological Stabilization
Autonomous Systems
Stabilization and self-* properties in hardware, software, and middleware design
Self-stabilizing software defined infrastructure
Track B. Foundations of Concurrent and Distributed Computing
Distributed and concurrent algorithms and data structures
Synchronization protocols
Shared and transactional memory
Formal Methods, validation, verification, and synthesis
Peer-to-peer networks
Social networks
Game-theory and economical aspects of distributed computing
Randomization in distributed computing
Graph-theoretic concepts for communication networks, Dynamic networks, High-performance, cluster, cloud and grid computing.
Track C. Mobile and Robot Computing
Self-organization in mobile agents, mobile robots, mobile sensor networks, mobile ad-hoc networks, population protocols, programmable particles, nanoscale robots, biological systems, and related new models.
Track D. Fault tolerance, Security, and Privacy
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
Blockchain technologies and cryptocurrencies
Byzantine-fault tolerance and distributed consensus protocols
Secure multi-party computation
Applied cryptography