Stabilization, Safety, and Security of Distributed Systems: 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

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