LEADER 05656nam 22007695 450 001 9910983067303321 005 20251225183559.0 010 $a9783031744983 010 $a3031744985 024 7 $a10.1007/978-3-031-74498-3 035 $a(MiAaPQ)EBC31733702 035 $a(Au-PeEL)EBL31733702 035 $a(CKB)36379025200041 035 $a(DE-He213)978-3-031-74498-3 035 $a(EXLCZ)9936379025200041 100 $a20241020d2025 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStabilization, Safety, and Security of Distributed Systems $e26th International Symposium, SSS 2024, Nagoya, Japan, October 20?22, 2024, Proceedings /$fedited by Toshimitsu Masuzawa, Yoshiaki Katayama, Hirotsugu Kakugawa, Junya Nakamura, Yonghwan Kim 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (477 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14931 311 08$a9783031744976 311 08$a3031744977 320 $aIncludes bibliographical references and index. 327 $aKeynote -- On Distributed Computing: A View, Physical vs Logical Objects, and a Look at Fully Anonymous Systems -- Invited Papers -- Invited Paper: A Survey of the Impact of Knowledge on the Competitive -- Ratio in Linear Search -- Invited Paper: Gathering Oblivious Robots in the Plane -- Invited Paper: The Smart Contract Model -- Invited Paper: Using signed formulas for online certification -- Papers -- Optimal Asynchronous Perpetual Grid Exploration -- Gathering of Robots in Butterfly Networks -- Brief Announcement: Pebble Guided Rendezvous Despite Fault -- Complete Graph Identification in Population Protocols -- Efficient Self-stabilizing Simulations of Energy-Restricted Mobile Robots by Asynchronous Luminous Mobile Robots -- Brief Announcement: Perpetual Exploration of Triangular Grid by Myopic Oblivious Robots without Chirality -- An optimal algorithm for geodesic mutual visibility on hexagonal grids -- Coating in SILBOT with One Axis Agreement -- Rendezvous and Merging for Two Metamorphic Robotic Systems without Global Compass -- Gathering Semi-Synchronously Scheduled Two-State Robots -- Selective Population Protocols -- Partially Disjoint Shortest Paths and Near-Shortest Paths Trees -- Brief Announcement: Towards Proportionate Fair Assignment -- BlindexTEE: A Blind Index Approach towards TEE-supported End-to-end Encrypted DBMS -- Tight Bounds for Constant-Round Domination on Graphs of High Girth and Low Expansion -- Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3 -- SUPI-Rear: Privacy-Preserving Subscription Permanent Identification Strategy in 5G-AKA -- Anomaly Detection Within Mission-Critical Call Processing -- Brief Announcement: Make Master Private-Keys Secure by Keeping it Public -- Selection Guidelines for Geographical SMR Protocols: A Communication Pattern-based Latency Modeling Approach -- Byzantine Reliable Broadcast with One Trusted Monotonic Counter -- Brief Announcement: On the Feasibility of Local Failover Routing on Directed Graphs -- TRAIL: Cross-Shard Validation for Byzantine Shard Protection -- Softening the Impact of Collisions in Contention Resolution -- Generating the Convergence Stairs of the Collatz Program -- Consensus Through Knot Discovery in Asynchronous Dynamic Networks -- A Self-Stabilizing Algorithm for the 1-Minimal Minus Domination Problem -- Brief Announcement: A Self-* and Persistent Hub Sampling Service. 330 $aThis book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024. The 22 full and 4 invited papers as well as 6 short papers included in this book were carefully reviewed and selected from 69 submissions. They deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. The book also includes one invited talk in full paper length. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14931 606 $aComputer networks 606 $aRobotics 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aMicroprogramming 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer Communication Networks 606 $aRobotics 606 $aSoftware Engineering 606 $aOperating Systems 606 $aControl Structures and Microprogramming 606 $aData Structures and Information Theory 615 0$aComputer networks. 615 0$aRobotics. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aMicroprogramming. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 14$aComputer Communication Networks. 615 24$aRobotics. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aControl Structures and Microprogramming. 615 24$aData Structures and Information Theory. 676 $a005.8 702 $aMasuzawa$b Toshimitsu 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983067303321 996 $aStabilization, Safety, and Security of Distributed Systems$9772094 997 $aUNINA