Dear community,

The 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems is planned for November 17-20, 2021 (via Zoom).

The list of accepted papers for SSS 2021 is available below, as well as online:

The technical program can be found at:

The list of keynote talks is given below as well as via the following link:

The registration server is also up:

There are no registration fees to SSS 2021. It would be great if you can register already today. Please register no later than Nov. 7th, 2021

Best regards,
Elad Michael Schiller
Colette Johnen
Stefan Schmid


Keynote Talks:

Byzantine Agreement with Less Communication by Idit Keidar, Technion - Israel Institute of Technology, Israel

A Liquid Networking Approach to Delivering the Metaverse by Michael Luby, CEO, BitRIpple, Inc., USA

Ant Colony House-Hunting Algorithms by Nancy Lynch, Massachusetts Institute of Technology, USA

Locality in Computation by Ronitt Rubinfeld, Massachusetts Institute of Technology, USA

Actively Dynamic Networks by Paul Spirakis, University of Liverpool ,UK and University of Patras , Greece

Computational Complexity Theory for MapReduce by Jeffrey Ullman, Stanford University, USA

Invited papers:

Jiajia Zhao, Lili Su and Nancy Lynch. Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration

Joshua Daymude, Noble Harasha, Andréa Richa and Ryan Yiu. Deadlock and Noise in Self-Organized Aggregation Without Computation

Manfred Schwarz and Ulrich Schmid. Round-Oblivious Stabilizing Consensus in Dynamic Networks

Burcu Canakci, Lorenzo Alvisi and Robbert Van Renesse. Building Systems of Systems with Escher

Yehuda Afek, Gal Giladi and Boaz Patt-Shamir. Distributed Computing With the Cloud

Timothé Albouy, Davide Frey, Michel Raynal and Francois Taiani. Byzantine-tolerant reliable broadcast in the presence of silent churn

Vijay Garg. A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem

Pierre Fraigniaud. How Do Mobile Agents Benefit From Randomness?

Michael Fischer, Jonathan Hochman and Daniel Boffa. Privacy-Preserving Sharing of Medical Data for Research

Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe and Toshimitsu Masuzawa. A New Problem Setting for Mobile Robots based on
Backscatter-based Communication and Sensing

Ivan Geffner and Joseph Halpern. Security in Asynchronous Interactive Systems

Jakub Sliwinski and Roger Wattenhofer. Asynchronous Proof-of-Stake

Daniel Engel, Maurice Herlihy and Yingjie Xue. Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance

Alexander Schwarzmann. Towards a Robust Distributed Framework for Election-Day Voter Check-in

Regular papers:

Masahiro Shibata, Yuichi Sudo, Junya Nakamura and Yonghwan Kim. Partial gathering of mobile agents in dynamic rings

Zoe Leyva-Acosta, Eduardo Pascual-Aseff and Sergio Rajsbaum. Information Exchange in the Russian Cards Problem

Archak Das, Kaustav Bose and Buddhadeb Sau. Exploring a Dynamic Ring without Landmark

Louis Penet de Monterno, Bernadette Charron-Bost and Stephan Merz. Synchronization modulo k in Dynamic Networks

Rikuo Nakai, Yuichi Sudo and Koichi Wada. Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights

Rongcheng Dong, Yuichi Sudo, Taisuke Izumi and Toshimitsu Masuzawa. Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications

Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita and Koichi Wada. Location Functions for Self-Stabilizing Byzantine Tolerant Swarms

Quentin Bramas, Anissa Lamani and Sebastien Tixeuil. The agreement power of disagreement

Andrew Berns. Network Scaffolding for Efficient Stabilization of the Chord Overlay Network

Andrew Berns. Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks

Dingyu Wang. Optimal Protocols for 2-Party Contention Resolution

Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar and Moti Yung. On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications

Arya Gupta and Sandeep Kulkarni. Extending Lattice linearity for Self-Stabilizing Algorithms

Pedro Montealegre, Diego Ramírez-Romero and Ivan Rapaport. Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs

Jannik Castenow, Thorsten Götte, Till Knollmann and Friedhelm Meyer Auf der Heide. The Max-Line-Formation Problem and new Insights for Gathering and Chain-Formation

Jared Coleman, Evangelos Kranakis, Oscar Morales Ponce and Danny Krizanc. Message Delivery in the plane by Robots with Different Speeds

Brief Announcements:

Michael Feldmann, Andreas Padalkin, Christian Scheideler and Shlomi Dolev. Coordinating Amoebots via Reconfigurable Circuits

Rory Hector, Ramachandran Vaidyanathan, Gokarna Sharma and Jerry Trahan. On Optimal Doorway Egress by Autonomous Robots

Amos Brocco. Delta-State JSON CRDT: Putting Collaboration on Solid Ground

Yukiko Yamauchi, Naoyuki Kamiyama and Yota Otachi. Transitivity in Distributed Systems by Exchange Property of Matroid Bases

Matan Rusanovsky, Hagit Attiya, Danny Hendler, Tom Gerby, Ohad Ben-Baruch and Pedro Ramalhete. Flat-Combining-Based Persistent Data Structures for Non-Volatile Memory

Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li and Anqun Pan. Byz-GentleRain: An Efficient Byzantine-tolerant Causal Consistency Protocol

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sebastien Tixeuil and Xavier Urbain. Computer Aided Formal Design of Swarm Robotics Algorithms

Shlomi Dolev and Ziyu Wang. SodsBC/SodsBC++ \& SodsMPC: Post-quantum Asynchronous Blockchain Suit for Consensus and Smart Contracts

Amr Osman, Jeannine Born and Thorsten Strufe. Mitigating Internal, Stealthy Denial of Service Attacks in Microservice Networks

Johanne Cohen, Laurence Pilard and Jonas Sénizergues. Self-Stabilization and Byzantine Tolerance for Maximal Independant Set


You can unsubscribe at any time through this link:;