Stabilization, safety, and security of distributed systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-\* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy. Front Matter ....Pages I-XIII Proof-Labeling Schemes: Broadcast, Unicast and in Between (Boaz Patt-Shamir, Mor Perry)....Pages 1-17 Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs (Fukuhito Ooshita, Ajoy K. Datta, Toshimitsu Masuzawa)....Pages 18-32 The Dynamics and Stability of Probabilistic Population Processes (Ioannis Chatzigiannakis, Paul Spirakis)....Pages 33-45 Self-stabilizing Distributed Stable Marriage (Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen et al.)....Pages 46-61 Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping (Volker Turau)....Pages 62-77 Self-tuning Eventually-Consistent Data Stores (Shankha Chatterjee, Wojciech Golab)....Pages 78-92 An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks (Michiko Inoue, Fukuhito Ooshita, Sébastien Tixeuil)....Pages 93-108 An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults (Lewis Tseng)....Pages 109-125 Fault-Induced Dynamics of Oblivious Robots on a Line (Jean-Lou De Carufel, Paola Flocchini)....Pages 126-141 Relaxed Data Types as Consistency Conditions (Edward Talmage, Jennifer L. Welch)....Pages 142-156 Ant-Inspired Dynamic Task Allocation via Gossiping (Hsin-Hao Su, Lili Su, Anna Dornhaus, Nancy Lynch)....Pages 157-171 Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility (Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita)....Pages 172-186 Robust Routing Made Easy (Christoph Lenzen, Moti Medina)....Pages 187-202 Generalized Paxos Made Byzantine (and Less Complex) (Miguel Pires, Srivatsan Ravi, Rodrigo Rodrigues)....Pages 203-218 ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms (Fathiyeh Faghih, Borzoo Bonakdarpour)....Pages 219-233 How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults (Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 234-249 A Self-stabilizing General De Bruijn Graph (Michael Feldmann, Christian Scheideler)....Pages 250-264 Constant-Time Complete Visibility for Asynchronous Robots with Lights (Gokarna Sharma, Ramachandran Vaidyanathan, Jerry L. Trahan)....Pages 265-281 On Security Analysis of Proof-of-Elapsed-Time (PoET) (Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, Weidong Shi)....Pages 282-297 Brief Announcement: Federated Code Auditing and Delivery for MPC (Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia)....Pages 298-302 Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees (Yuichi Sudo, Ajoy K. Datta, Lawrence L. Larmore, Toshimitsu Masuzawa)....Pages 303-307 A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation (Noël Gillet, Nicolas Hanusse)....Pages 308-322 Universally Optimal Gathering Under Limited Visibility (Pavan Poudel, Gokarna Sharma)....Pages 323-340 Optimum Algorithm for Mutual Visibility Among Asynchronous Robots with Lights (Subhash Bhagat, Krishnendu Mukhopadhyaya)....Pages 341-355 Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin (Siamak Solat, Maria Potop-Butucaru)....Pages 356-360 Scalable Funding of Bitcoin Micropayment Channel Networks (Conrad Burchert, Christian Decker, Roger Wattenhofer)....Pages 361-377 Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem (Hisaki Kobayashi, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 378-383 Space-Optimal Proportion Consensus with Population Protocols (Gennaro Cordasco, Luisa Gargano)....Pages 384-398 Brief Announcement: Asynchronous, Distributed, Optical Mutual Exclusion (Ahmed B. Mansour, Ramachandran Vaidyanathan, Shuangqing Wei)....Pages 399-404 Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios (Khai T. Phan, Ryan Ewing, David Starobinski, Liangxiao Xin)....Pages 405-409 Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness (Peter Mell, John Kelsey, James Shook)....Pages 410-425 TorBricks: Blocking-Resistant Tor Bridge Distribution (Mahdi Zamani, Jared Saia, Jedidiah Crandall)....Pages 426-440 Cover Time in Edge-Uniform Stochastically-Evolving Graphs (Ioannis Lamprou, Russell Martin, Paul Spirakis)....Pages 441-455 Bitcoin a Distributed Shared Register (Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru, Frédéric Tronel)....Pages 456-468 Broadcast Encryption with Both Temporary and Permanent Revocation (Dan Brownstein, Shlomi Dolev, Niv Gilboa)....Pages 469-483 Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights (Takashi Okumura, Koichi Wada, Yoshiaki Katayama)....Pages 484-488 Brief Announcement: Space-Efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings (Masahiro Shibata, Hirotsugu Kakugawa, Toshimitsu Masuzawa)....Pages 489-493 Back Matter ....Pages 495-496