Table of Contents

• Broadcasting with Mobile Agents in Dynamic NetworksShantanu Das 0001, Nikos Giachoudis, Flaminia L. Luccio, Euripides Markou. [doi]
• Echo-CGC: A Communication-Efficient Byzantine-Tolerant Distributed Machine Learning Algorithm in Single-Hop Radio NetworkQinzi Zhang, Lewis Tseng. [doi]
• Secured Distributed Algorithms Without Hardness AssumptionsLeonid Barenboim, Harel Levin. [doi]
• Locally Solvable Tasks and the Limitations of Valency ArgumentsHagit Attiya, Armando Castañeda, Sergio Rajsbaum. [doi]
• ACE: Abstract Consensus Encapsulation for Liveness Boosting of State Machine ReplicationAlexander Spiegelman, Arik Rinberg, Dahlia Malkhi. [doi]
• Relaxed Queues and Stacks from Read/Write OperationsArmando Castañeda, Sergio Rajsbaum, Michel Raynal. [doi]
• Front Matter, Table of Contents, Preface, Conference Organization [doi]
• Security Analysis of Ripple ConsensusIgnacio Amores-Sesar, Christian Cachin, Jovana Micic. [doi]
• Approximate Majority with Catalytic InputsTalley Amir, James Aspnes, John Lazarsfeld. [doi]
• Big Data Processing: Security and Scalability Challenges (Invited Talk)Pascal Felber. [doi]
• Recoverable, Abortable, and Adaptive Mutual Exclusion with Sublogarithmic RMR ComplexityDaniel Katzan, Adam Morrison 0001. [doi]
• Approximating Bipartite Minimum Vertex Cover in the CONGEST ModelSalwa Faour, Fabian Kuhn. [doi]
• On Broadcast in Generalized Network and Adversarial ModelsChen-Da Liu Zhang, Varun Maram, Ueli Maurer. [doi]
• Heterogeneous PaxosIsaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers. [doi]
• AKSEL: Fast Byzantine SGDAmine Boussetta, El Mahdi El Mhamdi, Rachid Guerraoui, Alexandre Maurer, Sébastien Rouault. [doi]
• Distributed Distance ApproximationBertie Ancona, Keren Censor Hillel, Mina Dalirrooyfard, Yuval Efron, Virginia Vassilevska Williams. [doi]
• Self-Stabilizing Byzantine-Resilient Communication in Dynamic NetworksAlexandre Maurer. [doi]
• CSR++: A Fast, Scalable, Update-Friendly Graph Data StructureSoukaina Firmli, Vasileios Trigonakis, Jean-Pierre Lozi, Iraklis Psaroudakis, Alexander Weld, Dalila Chiadmi, Sungpack Hong, Hassan Chafi. [doi]
• Fast Hybrid Network Algorithms for Shortest Paths in Sparse GraphsMichael Feldmann 0001, Kristian Hinnenthal, Christian Scheideler. [doi]
• Broadcasting Competitively Against Adaptive Adversary in Multi-Channel Radio NetworksHaimin Chen, Chaodong Zheng. [doi]
• Fast Deterministic Algorithms for Highly-Dynamic NetworksKeren Censor Hillel, Neta Dafni, Victor I. Kolobov, Ami Paz, Gregory Schwartzman. [doi]
• Dynamic Byzantine Reliable BroadcastRachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Yvonne Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh. [doi]
• Uniform Bipartition in the Population Protocol Model with Arbitrary Communication GraphsHiroto Yasumi, Fukuhito Ooshita, Michiko Inoue, Sébastien Tixeuil. [doi]
• Distributed Runtime Verification Under Partial SynchronyRitam Ganguly, Anik Momtaz, Borzoo Bonakdarpour. [doi]
• Maximally Resilient Replacement Paths for a Family of Product GraphsMahmoud Parham, Klaus-Tycho Foerster, Petar Kosic, Stefan Schmid 0001. [doi]
• Optimal Resilience in Systems That Mix Shared Memory and Message PassingHagit Attiya, Sweta Kumari, Noa Schiller. [doi]
• Multi-Threshold Asynchronous Reliable Broadcast and ConsensusMartin Hirt, Ard Kastrati, Chen-Da Liu Zhang. [doi]
• Byzantine Agreement and SMR with Sub-Quadratic Message Complexity (Invited Talk)Idit Keidar. [doi]
• Information Theoretic HotStuffIttai Abraham, Gilad Stern. [doi]
• Can We Automate Our Own Work - or Show That It Is Hard? (Invited Talk)Jukka Suomela. [doi]
• Byzantine Lattice Agreement in Asynchronous SystemsXiong Zheng, Vijay K. Garg. [doi]
• Rational Behaviors in Committee-Based BlockchainsYackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni. [doi]
• Fast and Space-Efficient Queues via RelaxationDempsey Wade, Edward Talmage. [doi]
• Decentralized Runtime Enforcement of Message Sequences in Message-Based SystemsMahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi. [doi]