Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

335 Pages·2020·12.936 MB·English

by  Stéphane Devismes, Neeraj Mittal

Stéphane Devismes
Neeraj Mittal (Eds.)
Stabilization, Safety,
4
1
5 and Security
2
1

S
C of Distributed Systems
N
L
22nd International Symposium, SSS 2020
Austin, TX, USA, November 18–21, 2020
Proceedings
Lecture Notes in Computer Science 12514
Founding Editors
Gerhard Goos
Karlsruhe Institute of Technology, Karlsruhe, Germany
Juris Hartmanis
Cornell University, Ithaca, NY, USA
Editorial Board Members
Elisa Bertino
Purdue University, West Lafayette, IN, USA
Wen Gao
Peking University, Beijing, China
Bernhard Steffen
TU Dortmund University, Dortmund, Germany
Gerhard Woeginger
RWTH Aachen, Aachen, Germany
Moti Yung
Columbia University, New York, NY, USA
More information about this subseries at http://www.springer.com/series/7407
é
St phane Devismes Neeraj Mittal (Eds.)
(cid:129)
Stabilization, Safety,
and Security
of Distributed Systems
22nd International Symposium, SSS 2020
–
Austin, TX, USA, November 18 21, 2020
Proceedings
123
Editors
Stéphane Devismes Neeraj Mittal
Grenoble AlpesUniversity TheUniversity of Texasat Dallas
Saint Martin d’Hères,France Richardson, TX, USA
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Computer Science
ISBN 978-3-030-64347-8 ISBN978-3-030-64348-5 (eBook)
https://doi.org/10.1007/978-3-030-64348-5
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
©SpringerNatureSwitzerlandAG2020
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, expressed or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
This volume contains the papers presented at the 22nd International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS 2020), held during
November 18-21, 2020.
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.
SSS started as the Workshop on Self-Stabilizing Systems (WSS), the first two of
whichwereheldinAustin,USA,in1989andinLasVegas,USA,in1995.After1995,
theworkshopwasheldbienniallyuntil2005whenitbecameanannualevent.Starting
fromthen, itbroadeneditsscope andattracted researchers fromothercommunities.In
2006, the name of the conference was changed to the International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS). The last three SSS
conferences were held in Boston, USA (2017), Tokyo, Japan (2018), and Pisa, Italy
(2019).
Thisyear,theconferencewasinitiallyplannedtobeheldinAustin,USA.However,
due to the COVID-19 worldwide pandemic, we decided to switch to a virtual event.
AnishArora(TheOhioStateUniversity,USA)andSandeepKulkarni(MichiganState
University, USA) served as general chairs. Stéphane Devismes (Université Grenoble
Alpes, France) and Neeraj Mittal (The University of Texas at Dallas, USA) served as
programchairs. Theauthorswereasked toaligntheirsubmission with oneofthefour
tracks:
– Track A: Self-Stabilization (chaired by Sayaka Kamei, Hiroshima University,
Japan)
– Track B: Foundations of Concurrent and Distributed Computing (chaired by LuiÌs
E. T. Rodrigues, Universidade de Lisboa, Portugal)
– Track C: Mobile and Robot Computing (chaired by Gokarna Sharma, Kent-State
University, USA)
– Track D: Fault tolerance, Security, and Privacy (chaired by Emmanuel Anceaume,
IRISA, CNRS, France)
Atotalof44submissionswerereceived.Thesubmissionsspannedawidespectrum
ofdistributedcomputingtopics,fromfundamentalprinciplestorealworldapplications.
All the manuscripts went through a rigorous review process. Each submission was
reviewed by at least three Program Committee members. We are grateful to the
reviewersfortheirhardworkandvaluablefeedback.Overall,thecommitteedecidedto
accept 16 regular papers and 7 brief announcements. The proceedings also include
vi Preface
2invitedpapers.Wehopethatyouwillenjoyreadingtheseexcellentandveryselective
papers.
October 2020 Stéphane Devismes
Neeraj Mittal
Organization
Program Committee
Yehuda Afek Tel Aviv University, Israel
Tristan Allard Université de Rennes 1, France
Emmanuelle Anceaume IRISA, CNRS, France
Anish Arora The Ohio State University, USA
James Aspnes Yale University, USA
John Augustine Indian Institute of Technology, Madras, India
Rida Bazzi Arizona State University, USA
Alysson Bessani Universidade de Lisboa, Portugal
Olivier Blazy Université de Limoges, France
Silvia Bonomi Sapienza University of Rome, Italy
Costas Busch Augusta University, USA
Armando Castaneda UNAM, Mexico
Antonella Del Pozzo CEA LIST, France
Stéphane Devismes Université Grenoble Alpes, France
Felicita Di Giandomenico ISTI-CNR, Italy
Giuseppe Antonio Di Luna Sapienza University of Rome, Italy
Shlomi Dolev Ben-Gurion University of the Negev, Israel
Swan Dubois Sorbonne University, France
Xavier Défago Tokyo Institute of Technology, Japan
Paola Flocchini University of Ottawa, Canada
Roy Friedman Technion, Israel
Vijay Garg The University of Texas at Austin, USA
Sukumar Ghosh The University of Iowa, USA
Vincent Gramoli The University of Sydney, Australia
Michel Hurfin Inria, France
Hirotsugu Kakugawa Ryukoku University, Japan
Sayaka Kamei Hiroshima University, Japan
Ajay Kshemkalyani University of Illinois at Chicago, USA
Sandeep Kulkarni Michigan State University, USA
Anissa Lamani Université de Strasbourg, France
Christoph Lenzen MPI for Informatics, Germany
Romaric Ludinard IMT Atlantique, France
Partha Sarathi Mandal Indian Institute of Technology Guwahati, India
Toshimitsu Masuzawa Osaka University, Japan
Neeraj Mittal The University of Texas at Dallas, USA
Anisur Rahaman Molla Indian Statistical Institute, Kolkata, India
Achour Mostéfaoui Université de Nantes, France
viii Organization
Krishnendu Indian Statistical Institute, Kolkata, India
Mukhopadhyaya
Mikhail Nesterenko Kent State University, USA
Fukuhito Ooshita Nara Institute of Science and Technology, Japan
Matthieu Perrin Université de Nantes, France
Maria Potop-Butucaru UPMC - Sorbonne Universités, LIP6, France
Giuseppe Prencipe Università di Pisa, Italy
Binoy Ravindran Virginia Tech, USA
Luis Rodrigues Universidade de Lisboa, Portugal
Stephane Rovedakis Conservatoire National des Arts et Métiers, France
Christian Scheideler Paderborn University, Germany
Elad Schiller Chalmers University of Technology, Sweden
Gokarna Sharma Kent State University, USA
Yuichi Sudo Osaka University, Japan
Sébastien Tixeuil Université Pierre et Marie Curie, France
Jerry Trahan Louisiana State University, USA
Philippas Tsigas Chalmers University of Technology, Sweden
Nitin Vaidya Georgetown University, USA
Ramachandran Louisiana State University, USA
Vaidyanathan
Additional Reviewers
Bramas, Quentin
Cohen, Avi
Durand, Anaïs
Götte, Thorsten
Hinnenthal, Kristian
Hood, Kendric
Masetti, Giulio
Moses Jr., William K.
Muzina, Joe
Oglio, Joseph
Pattanayak, Debasish
Contents
Store-Collect in the Presence of Continuous Churn with Application
to Snapshots and Lattice Agreement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Hagit Attiya, Sweta Kumari, Archit Somani, and Jennifer L. Welch
Invited Paper: Homomorphic Operations Techniques Yielding
Communication Efficiency. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Dor Bitan and Shlomi Dolev
Boosting the Efficiency of Byzantine-Tolerant Reliable Communication. . . . . 29
Silvia Bonomi, Giovanni Farina, and Sébastien Tixeuil
Stand Up Indulgent Rendezvous. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Quentin Bramas, Anissa Lamani, and Sébastien Tixeuil
Brief Announcement: Gathering in Linear Time: A Closed Chain
of Disoriented and Luminous Robots with Limited Visibility . . . . . . . . . . . . 60
Jannik Castenow, Jonas Harbig, Daniel Jung, Till Knollmann,
and Friedhelm Meyer auf der Heide
A Discrete and Continuous Study of the MAX-CHAIN-FORMATION Problem:
Slow down to Speed Up . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
Jannik Castenow, Peter Kling, Till Knollmann,
and Friedhelm Meyer auf der Heide
Invited Paper: Reactive PLS for Distributed Decision . . . . . . . . . . . . . . . . . 81
Jiaqi Chen, Shlomi Dolev, and Shay Kutten
k-Immediate Snapshot and x-Set Agreement: How Are They Related?. . . . . . 97
Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum,
and Michel Raynal
BriefAnnouncement:LocalDeal-AgreementBasedMonotonicDistributed
Algorithms for Load Balancing in General Graphs . . . . . . . . . . . . . . . . . . . 113
Yefim Dinitz, Shlomi Dolev, and Manish Kumar
Silent MST Approximation for Tiny Memory. . . . . . . . . . . . . . . . . . . . . . . 118
Lélia Blin, Swan Dubois, and Laurent Feuilloley
A Privacy-Preserving Collaborative Caching Approach
in Information-Centric Networking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
Andrew Jones and Robert Simon