


default search action
26th SSS 2024: Nagoya, Japan
- Toshimitsu Masuzawa
, Yoshiaki Katayama
, Hirotsugu Kakugawa
, Junya Nakamura
, Yonghwan Kim
:
Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings. Lecture Notes in Computer Science 14931, Springer 2025, ISBN 978-3-031-74497-6
Keynotes
- Michel Raynal:
On Distributed Computing: A View, Physical Versus Logical Objects, and a Look at Fully Anonymous Systems. 3-19
Invited Papers
- Evangelos Kranakis:
Invited Paper: A Survey of the Impact of Knowledge on the Competitive Ratio in Linear Search. 23-38 - Fabian Frei
, Koichi Wada
:
Invited Paper: Gathering Oblivious Robots in the Plane. 39-54 - Yackolley Amoussou-Guenou, Maurice Herlihy
, Maria Potop-Butucaru, Sergio Rajsbaum
:
Invited Paper: The Smart Contract Model. 55-70 - Julius Wenzel, Andreas Berg, Christof Fetzer:
Invited Paper: Using Signed Formulas for Online Certification. 71-86
Papers
- Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani:
Optimal Asynchronous Perpetual Grid Exploration. 89-105 - Serafino Cicerone, Alessia Di Fonso, Gabriele Di Stefano, Alfredo Navarra:
Gathering of Robots in Butterfly Networks. 106-120 - Ashish Saxena, Barun Gorain, Subhrangsu Mandal, Kaushik Mondal:
Brief Announcement: Pebble Guided Rendezvous Despite Fault. 121-125 - Haruki Kanaya
, Yuichi Sudo
:
Complete Graph Identification in Population Protocols. 126-140 - Keita Nakajima
, Kaito Takase
, Koichi Wada
:
Efficient Self-stabilizing Simulations of Energy-Restricted Mobile Robots by Asynchronous Luminous Mobile Robots. 141-155 - Raja Das
, Pritam Goswami
, Buddhadeb Sau
:
Brief Announcement: Perpetual Exploration of Triangular Grid by Myopic Oblivious Robots Without Chirality. 156-160 - Sahar Badri, Serafino Cicerone, Alessia Di Fonso, Gabriele Di Stefano:
An Optimal Algorithm for Geodesic Mutual Visibility on Hexagonal Grids. 161-176 - Ryonosuke Yamada, Tomoyuki Usami, Yukiko Yamauchi
:
Rendezvous and Merging for Two Metamorphic Robotic Systems Without Global Compass. 193-208 - Kohei Otaka
, Fabian Frei
, Koichi Wada
:
Gathering Semi-Synchronously Scheduled Two-State Robots. 209-224 - Adam Ganczorz
, Leszek Gasieniec
, Tomasz Jurdzinski
, Jakub Kowalski
, Grzegorz Stachowiak
:
Selective Population Protocols. 225-239 - Yefim Dinitz
, Shlomi Dolev
, Manish Kumar
, Baruch Schieber
:
Partially Disjoint Shortest Paths and Near-Shortest Paths Trees. 240-254 - Baruch Schieber
:
Brief Announcement: Towards Proportionate Fair Assignment. 255-259 - Louis Vialar
, Jämes Ménétrey
, Valerio Schiavoni
, Pascal Felber
:
BlindexTEE: A Blind Index Approach Towards TEE-Supported End-to-End Encrypted DBMS. 260-276 - Christoph Lenzen, Sophie Wenning:
Tight Bounds for Constant-Round Domination on Graphs of High Girth and Low Expansion. 277-291 - Ranjith Chodavarapu, Rabimba Karanjai, Xinxin Fan, Weidong Shi, Lei Xu:
Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3. 292-306 - K. Sowjanya
, Pabitra Pal
, Aman Verma
, Bijoy Das
, Dhiman Saha
, Anand M. Baswade
, Brejesh Lall
:
SUPI-Rear: Privacy-Preserving Subscription Permanent Identification Strategy in 5G-AKA. 307-321 - Sean Doris, Iosif Salem
, Stefan Schmid
:
Anomaly Detection Within Mission-Critical Call Processing. 322-337 - Shlomi Dolev, Komal Kumari, Sharad Mehrotra, Baruch Schieber, Shantanu Sharma:
Brief Announcement: Make Master Private-Keys Secure by Keeping It Public. 338-343 - Kohya Shiozaki
, Junya Nakamura
:
Selection Guidelines for Geographical SMR Protocols: A Communication Pattern-Based Latency Modeling Approach. 344-359 - Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru:
Byzantine Reliable Broadcast with One Trusted Monotonic Counter. 360-374 - Erik van den Akker
, Klaus-Tycho Foerster
:
Brief Announcement: On the Feasibility of Local Failover Routing on Directed Graphs. 375-380 - Joseph Oglio, Mikhail Nesterenko, Gokarna Sharma:
TRAIL: Cross-Shard Validation for Byzantine Shard Protection. 381-397 - Umesh Biswas
, Trisha Chakraborty
, Maxwell Young
:
Softening the Impact of Collisions in Contention Resolution. 398-416 - Ali Ebnenasir:
Generating the Convergence Stairs of the Collatz Program. 417-431 - Rachel Bricker, Mikhail Nesterenko, Gokarna Sharma:
Consensus Through Knot Discovery in Asynchronous Dynamic Networks. 432-445 - Tota Yamada
, Yonghwan Kim
:
A Self-stabilizing Algorithm for the 1-Minimal Minus Domination Problem. 446-460 - Mohamed Amine Legheraba, Maria Potop-Butucaru, Sébastien Tixeuil:
Brief Announcement: A Self-* and Persistent Hub Sampling Service. 461-465

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.