Papers

The symposium will take place over the course of three days. Meetings will involve lectures and discussions covering important topics in stabilization, safety and the security of distributed systems.

List of Accepted Full Papers:

    Proof-Labeling Schemes: Broadcast, Unicast and In Between,
    Boaz Patt-Shamir and Mor Perry

    Self-Stabilizing Rendezvous of Synchronous Mobile Agents in Graphs,
    Fukuhito Ooshita, Ajoy K. Datta and Toshimitsu Masuzawa

    The Dynamics and Stability of Probabilistic Population Processes,
    Ioannis Chatzigiannakis and Paul Spirakis

    Self-stabilizing Distributed Stable Marriage,
    Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen and Laurence Pilard

    Computing the Fault-Containment Time of Self-Stabilizing Algorithms using Markov Chains and Lumping,
    Volker Turau

    Self-Tuning Eventually-Consistent Data Stores,
    Shankha Chatterjee and Wojciech Golab

    An Efficient Silent Self-Stabilizing 1-Maximal Matching Algorithm under Distributed Daemon for Arbitrary Networks,
    Michiko Inoue, Fukuhito Ooshita and Sebastien Tixeuil

    An Improved Approximate Agreement Algorithm in the Presence of Mobile Byzantine Faults,
    Lewis Tseng

    Fault-Induced Dynamics of Oblivious Robots on a Line, Jean-Lou De Carufel and Paola Flocchini

    Relaxed Data Types as Consistency Conditions, Edward Talmage and Jennifer Welch

    Ant-Inspired Dynamic Task Allocation via Gossiping, Hsin-Hao Su, Lili Su, Anna Dornhaus and Nancy Lynch

    Self-stabilizing localization of the middle point of a line segment by an oblivious robot with limited visibility, Akihiro Monde, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita

    Robust Routing Made Easy, Christoph Lenzen and Moti Medina

    Generalized Paxos made Byzantine (and Less Complex), Miguel Pires, Srivatsan Ravi and Rodrigo Rodrigues

    ASSESS: A Tool for Automated Synthesis of Distributed Self-Stabilizing Algorithms, Fathiyeh Faghih and Borzoo Bonakdarpour

    How to simulate message-passing algorithms in mobile agent systems with faults, Tsuyoshi Gotoh, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa

    A Self-Stabilizing General De Bruijn Graph, Michael Feldmann and Christian Scheideler

    Constant-Time Complete Visibility for Asynchronous Robots with Lights, Gokarna Sharma, Ramachandran Vaidyanathan and Jerry Trahan

    On Security Analysis of Proof-of-Elapsed-Time (PoET), Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu and Weidong Shi

    A fully asynchronous and fault tolerant distributed algorithm to compute a minimum graph orientation, Noël Gillet and Nicolas Hanusse

    Universally Optimal Gathering under Limited Visibility, Pavan Poudel and Gokarna Sharma

    Optimum Algorithm for Mutual Visibility among Asynchronous Robots with Lights, Subhash Bhagat and Krishnendu Mukhopadhyaya

    Scalable Funding of Bitcoin Micropayment Channel Networks, Conrad Burchert, Christian Decker and Roger Wattenhofer

    Space-Optimal Proportion Consensus with Population Protocols, Gennaro Cordasco and Luisa Gargano

    Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness, Peter Mell, John Kelsey and James Shook

    TorBricks: Blocking-Resistant Tor Bridge Distribution, Mahdi Zamani, Jared Saia and Jedidiah Crandall

    Cover Time in Edge-Uniform Stochastically-Evolving Graphs, Ioannis Lamprou, Russell Martin and Paul Spirakis

    Bitcoin a Distributed Shared Register, Emmanuelle Anceaume, Romaric Ludinard, Maria Potop-Butucaru and Frédéric Tronel

    Broadcast Encryption with Both Temporary and Permanent Revocation, Dan Brownstein, Shlomi Dolev and Niv Gilboa

List of Accepted Brief Announcements:

    Brief Announcement: Federated Code Auditing and Delivery for MPC, Frederick Jansen, Kinan Dak Albab, Andrei Lapets and Mayank Varia

    Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees, Yuichi Sudo, Ajoy K. Datta, Lawrence Larmore and Toshimitsu Masuzawa

    Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin, Siamak Solat and Maria Potop-Butucaru

    Brief Announcement: A self-stabilizing algorithm for the minimal generalized dominating set problem, Hisaki Kobayashi, Hirotsugu Kakugawa and Toshimitsu Masuzawa

    Brief Announcement: Asynchronous, Distributed Optical Mutual Exclusion, Ahmed Mansour, Ramachandran Vaidyanathan and Shuangqing Wei

    Brief Announcement: Passive and Active Attacks on Audience Response Systems using Software Defined Radios, Khai Phan, Ryan Ewing, David Starobinski and Liangxiao Xin

    Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights, Takashi Okumura, Koichi Wada and Yoshiaki Katayama

    Brief Announcement: Space-efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings, Masahiro Shibata, Hirotsugu Kakugawa and Toshimitsu Masuzawa