default search action
23rd SSS 2021: Virtual Event
- Colette Johnen, Elad Michael Schiller, Stefan Schmid:
Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings. Lecture Notes in Computer Science 13046, Springer 2021, ISBN 978-3-030-91080-8 - Yehuda Afek, Gal Giladi, Boaz Patt-Shamir:
Distributed Computing with the Cloud. 1-20 - Timothé Albouy, Davide Frey, Michel Raynal, François Taïani:
Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn. 21-33 - Burcu Canakci, Lorenzo Alvisi, Robbert van Renesse:
Building Systems of Systems with Escher. 34-50 - Joshua J. Daymude, Noble C. Harasha, Andréa W. Richa, Ryan Yiu:
Deadlock and Noise in Self-Organized Aggregation Without Computation. 51-65 - Daniel Engel, Maurice Herlihy, Yingjie Xue:
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. 66-77 - Michael J. Fischer, Jonathan E. Hochman, Daniel Boffa:
Privacy-Preserving Data Sharing for Medical Research. 78-89 - Pierre Fraigniaud:
How Do Mobile Agents Benefit from Randomness? 90-107 - Vijay K. Garg:
A Lattice Linear Predicate Parallel Algorithm for the Housing Market Problem. 108-122 - Ivan Geffner, Joseph Y. Halpern:
Security in Asynchronous Interactive Systems. 123-140 - Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe, Toshimitsu Masuzawa:
A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing. 141-153 - Manfred Schwarz, Ulrich Schmid:
Round-Oblivious Stabilizing Consensus in Dynamic Networks. 154-172 - Alexander A. Schwarzmann:
Towards a Robust Distributed Framework for Election-Day Voter Check-In. 173-193 - Jakub Sliwinski, Roger Wattenhofer:
Asynchronous Proof-of-Stake. 194-208 - Jiajia Zhao, Lili Su, Nancy A. Lynch:
Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. 209-228 - Yotam Ashkenazi, Shlomi Dolev, Sayaka Kamei, Yoshiaki Katayama, Fukuhito Ooshita, Koichi Wada:
Location Functions for Self-stabilizing Byzantine Tolerant Swarms. 229-242 - Andrew Berns:
Applications and Implications of a General Framework for Self-Stabilizing Overlay Networks. 243-257 - Andrew Berns:
Network Scaffolding for Efficient Stabilization of the Chord Overlay Network. 258-272 - Quentin Bramas, Anissa Lamani, Sébastien Tixeuil:
The Agreement Power of Disagreement. 273-288 - Jannik Castenow, Thorsten Götte, Till Knollmann, Friedhelm Meyer auf der Heide:
The Max-Line-Formation Problem - And New Insights for Gathering and Chain-Formation. 289-304 - Jared Ray Coleman, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce:
Message Delivery in the Plane by Robots with Different Speeds. 305-319 - Archak Das, Kaustav Bose, Buddhadeb Sau:
Exploring a Dynamic Ring Without Landmark. 320-334 - Rongcheng Dong, Yuichi Sudo, Taisuke Izumi, Toshimitsu Masuzawa:
Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications. 335-349 - Karim Eldefrawy, Nicholas Genise, Rutuja Kshirsagar, Moti Yung:
On Regenerating Codes and Proactive Secret Sharing: Relationships and Implications. 350-364 - Arya Tanmay Gupta, Sandeep S. Kulkarni:
Extending Lattice Linearity for Self-stabilizing Algorithms. 365-379 - Zoe Leyva-Acosta, Eduardo Pascual-Aseff, Sergio Rajsbaum:
Information Exchange in the Russian Cards Problem. 380-394 - Pedro Montealegre, Diego Ramírez-Romero, Ivan Rapaport:
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs. 395-409 - Rikuo Nakai, Yuichi Sudo, Koichi Wada:
Asynchronous Gathering Algorithms for Autonomous Mobile Robots with Lights. 410-424 - Louis Penet de Monterno, Bernadette Charron-Bost, Stephan Merz:
Synchronization Modulo k in Dynamic Networks. 425-439 - Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yonghwan Kim:
Partial Gathering of Mobile Agents in Dynamic Rings. 440-455 - Dingyu Wang:
Optimal Protocols for 2-Party Contention Resolution. 456-468 - Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Computer Aided Formal Design of Swarm Robotics Algorithms. 469-473 - Amos Brocco:
Delta-State JSON CRDT: Putting Collaboration on Solid Ground. 474-478 - Johanne Cohen, Laurence Pilard, Jonas Sénizergues:
Self-stabilization and Byzantine Tolerance for Maximal Independent Set. 479-483 - Michael Feldmann, Andreas Padalkin, Christian Scheideler, Shlomi Dolev:
Coordinating Amoebots via Reconfigurable Circuits. 484-488 - Rory Hector, Ramachandran Vaidyanathan, Gokarna Sharma, Jerry L. Trahan:
On Optimal Doorway Egress by Autonomous Robots. 489-494 - Kaile Huang, Hengfeng Wei, Yu Huang, Haixiang Li, Anqun Pan:
Byz-GentleRain: An Efficient Byzantine-Tolerant Causal Consistency Protocol. 495-499 - Amr Osman, Jeannine Born, Thorsten Strufe:
Mitigating Internal, Stealthy DoS Attacks in Microservice Networks. 500-504 - Matan Rusanovsky, Hagit Attiya, Ohad Ben-Baruch, Tom Gerby, Danny Hendler, Pedro Ramalhete:
Flat-Combining-Based Persistent Data Structures for Non-volatile Memory. 505-509 - Shlomi Dolev, Ziyu Wang:
SodsBC/SodsBC++ & SodsMPC: Post-quantum Asynchronous Blockchain Suite for Consensus and Smart Contracts. 510-515 - Yukiko Yamauchi, Naoyuki Kamiyama, Yota Otachi:
Distributed Reconfiguration of Spanning Trees. 516-520
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.