Search dblp for Publications

export results for "toc:db/conf/sss/sss2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sss/AbdelgawadRV23,
  author       = {Mahmoud Abdelgawad and
                  Indrakshi Ray and
                  Tomas Vasquez},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Workflow Resilience for Mission Critical Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {498--512},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_37},
  doi          = {10.1007/978-3-031-44274-2\_37},
  timestamp    = {Sun, 08 Oct 2023 13:20:04 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AbdelgawadRV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AfeanekuBKLL23,
  author       = {Winfred Afeaneku and
                  Andrew Berns and
                  Weston Kuchenberg and
                  Sara Leisinger and
                  Cedric Liu},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Understanding Self-stabilizing Node-Capacitated
                  Overlay Networks Through Simulation},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {52--56},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_4},
  doi          = {10.1007/978-3-031-44274-2\_4},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AfeanekuBKLL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AlposC23,
  author       = {Orestis Alpos and
                  Christian Cachin},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Do Not Trust in Numbers: Practical Distributed Cryptography with General
                  Trust},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {536--551},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_40},
  doi          = {10.1007/978-3-031-44274-2\_40},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AlposC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AmirA23,
  author       = {Talley Amir and
                  James Aspnes},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Privacy in Population Protocols with Probabilistic Scheduling},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {400--413},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_30},
  doi          = {10.1007/978-3-031-44274-2\_30},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AmirA23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AradhyaGH23,
  author       = {Vijeth Aradhya and
                  Seth Gilbert and
                  Aquinas Hobor},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic
                  Failures},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {191--206},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_15},
  doi          = {10.1007/978-3-031-44274-2\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/AradhyaGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AsahiroY23,
  author       = {Yuichi Asahiro and
                  Masafumi Yamashita},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Minimum Algorithm Sizes for Self-stabilizing Gathering and Related
                  Problems of Autonomous Mobile Robots (Extended Abstract)},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {312--327},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_23},
  doi          = {10.1007/978-3-031-44274-2\_23},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AsahiroY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AsifSR23,
  author       = {Asif Uz Zaman Asif and
                  Hossein Shirazi and
                  Indrakshi Ray},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Machine Learning-Based Phishing Detection Using {URL} Features: {A}
                  Comprehensive Review},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {481--497},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_36},
  doi          = {10.1007/978-3-031-44274-2\_36},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/AsifSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BelelDM23,
  author       = {Anushree Belel and
                  Ratna Dutta and
                  Sourav Mukhopadhyay},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Hierarchical Identity-Based Inner Product Functional Encryption for
                  Unbounded Hierarchical Depth},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_20},
  doi          = {10.1007/978-3-031-44274-2\_20},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BelelDM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BhardwajCJP23,
  author       = {Gaurav Bhardwaj and
                  Bapi Chatterjee and
                  Abhay Jain and
                  Sathya Peri},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Wait-Free Updates and Range Search Using Uruv},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {435--450},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_33},
  doi          = {10.1007/978-3-031-44274-2\_33},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BhardwajCJP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BhardwajPS23,
  author       = {Gaurav Bhardwaj and
                  Sathya Peri and
                  Pratik Shetty},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Non-blocking Dynamic Unbounded Graphs with Wait-Free
                  Snapshot},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {106--110},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_9},
  doi          = {10.1007/978-3-031-44274-2\_9},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BhardwajPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BirmanJMRST23,
  author       = {Ken Birman and
                  Sagar Jha and
                  Mae Milano and
                  Lorenzo Rosa and
                  Weijia Song and
                  Edward Tremel},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Invited Paper: Monotonicity and Opportunistically-Batched Actions
                  in Derecho},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {172--190},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_14},
  doi          = {10.1007/978-3-031-44274-2\_14},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BirmanJMRST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasKLT23,
  author       = {Quentin Bramas and
                  Sayaka Kamei and
                  Anissa Lamani and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Stand-Up Indulgent Gathering on Lines},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {451--465},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_34},
  doi          = {10.1007/978-3-031-44274-2\_34},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BramasKLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasLT23,
  author       = {Quentin Bramas and
                  Jean{-}Romain Luttringer and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Offline Constrained Backward Time Travel Planning},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {466--480},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_35},
  doi          = {10.1007/978-3-031-44274-2\_35},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BramasLT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BramasMT23,
  author       = {Quentin Bramas and
                  Toshimitsu Masuzawa and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile
                  Agents},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {380--384},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_28},
  doi          = {10.1007/978-3-031-44274-2\_28},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/BramasMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CachinLS23,
  author       = {Christian Cachin and
                  David Lehnherr and
                  Thomas Studer},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Synergistic Knowledge},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {552--567},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_41},
  doi          = {10.1007/978-3-031-44274-2\_41},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CachinLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ChauhanKS23,
  author       = {Amit Kumar Chauhan and
                  Abhishek Kumar and
                  Somitra Kumar Sanadhya},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Square Attacks on Reduced-Round {FEA-1} and {FEA-2}},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {583--597},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_43},
  doi          = {10.1007/978-3-031-44274-2\_43},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ChauhanKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ChlebusKOO23,
  author       = {Bogdan S. Chlebus and
                  Dariusz R. Kowalski and
                  Jan Olkowski and
                  Jedrzej Olkowski},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Disconnected Agreement in Networks Prone to Link Failures},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {207--222},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_16},
  doi          = {10.1007/978-3-031-44274-2\_16},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/ChlebusKOO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CiceroneFSN23,
  author       = {Serafino Cicerone and
                  Alessia Di Fonso and
                  Gabriele Di Stefano and
                  Alfredo Navarra},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Time-Optimal Geodesic Mutual Visibility of Robots on Grids Within
                  Minimum Area},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {385--399},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_29},
  doi          = {10.1007/978-3-031-44274-2\_29},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CiceroneFSN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/CoccimiglioBR23,
  author       = {Gaetano Coccimiglio and
                  Trevor Brown and
                  Srivatsan Ravi},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {The Fence Complexity of Persistent Sets},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {36--51},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_3},
  doi          = {10.1007/978-3-031-44274-2\_3},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/CoccimiglioBR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/DasM23,
  author       = {Bibhuti Das and
                  Krishnendu Mukhopadhyaya},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Uniform k-Circle Formation by Fat Robots},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {359--373},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_26},
  doi          = {10.1007/978-3-031-44274-2\_26},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/DasM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/EguchiOIT23,
  author       = {Ryota Eguchi and
                  Fukuhito Ooshita and
                  Michiko Inoue and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Meeting Times of Non-atomic Random Walks},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {297--311},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_22},
  doi          = {10.1007/978-3-031-44274-2\_22},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/EguchiOIT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GafniL23,
  author       = {Eli Gafni and
                  Giuliano Losa},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Invited Paper: Time Is Not a Healer, but It Sure Makes Hindsight 20:20},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {62--74},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_6},
  doi          = {10.1007/978-3-031-44274-2\_6},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GafniL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GargH23,
  author       = {Vijay K. Garg and
                  Changyong Hu},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Improved Paths to Stability for the Stable Marriage Problem},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {126--140},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_11},
  doi          = {10.1007/978-3-031-44274-2\_11},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GargH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GeorgiouKP23,
  author       = {Konstantinos Georgiou and
                  Somnath Kundu and
                  Pawel Pralat},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {The Fagnano Triangle Patrolling Problem (Extended Abstract)},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {157--171},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_13},
  doi          = {10.1007/978-3-031-44274-2\_13},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GeorgiouKP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GeorgiouRS23,
  author       = {Chryssis Georgiou and
                  Michel Raynal and
                  Elad Michael Schiller},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Self-stabilizing Byzantine-Tolerant Recycling},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {518--535},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_39},
  doi          = {10.1007/978-3-031-44274-2\_39},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GeorgiouRS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GhoshSGS23,
  author       = {Satakshi Ghosh and
                  Avisek Sharma and
                  Pritam Goswami and
                  Buddhadeb Sau},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Asynchronous Gathering of Finite Memory Robots
                  on a Circle Under Limited Visibility},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {430--434},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_32},
  doi          = {10.1007/978-3-031-44274-2\_32},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GhoshSGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GoswamiSGS23,
  author       = {Pritam Goswami and
                  Avisek Sharma and
                  Satakshi Ghosh and
                  Buddhadeb Sau},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Rendezvous on a Known Dynamic Point in a Finite
                  Unoriented Grid},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {374--379},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_27},
  doi          = {10.1007/978-3-031-44274-2\_27},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GoswamiSGS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/GuptaK23,
  author       = {Arya Tanmay Gupta and
                  Sandeep S. Kulkarni},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Lattice Linearity of Multiplication and Modulo},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {141--156},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_12},
  doi          = {10.1007/978-3-031-44274-2\_12},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/GuptaK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/HabibNRV23,
  author       = {Michel Habib and
                  Minh{-}Hang Nguyen and
                  Mika{\"{e}}l Rabie and
                  Laurent Viennot},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Forbidden Patterns in Temporal Graphs Resulting from Encounters in
                  a Corridor},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {344--358},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_25},
  doi          = {10.1007/978-3-031-44274-2\_25},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/HabibNRV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/JahierAD23,
  author       = {Erwan Jahier and
                  Karine Altisen and
                  St{\'{e}}phane Devismes},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Exploring Worst Cases of Self-stabilizing Algorithms Using Simulations},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_1},
  doi          = {10.1007/978-3-031-44274-2\_1},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JahierAD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/JahierADS23,
  author       = {Erwan Jahier and
                  Karine Altisen and
                  St{\'{e}}phane Devismes and
                  Gabriel B. Sant'Anna},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Model Checking of Distributed Algorithms Using Synchronous Programs},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {18--35},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_2},
  doi          = {10.1007/978-3-031-44274-2\_2},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JahierADS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/JanaD23,
  author       = {Pratima Jana and
                  Ratna Dutta},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Post-quantum Secure Stateful Deterministic Wallet from Code-Based
                  Signature Featuring Uniquely Rerandomized Keys},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {568--582},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_42},
  doi          = {10.1007/978-3-031-44274-2\_42},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/JanaD23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/KallimanisKKL23,
  author       = {Nikolaos D. Kallimanis and
                  Eleni Kanellou and
                  Charidimos Kiosterakis and
                  Vasiliki Liagkou},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Exploring Trade-Offs in Partial Snapshot Implementations},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_8},
  doi          = {10.1007/978-3-031-44274-2\_8},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/KallimanisKKL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/Levin23,
  author       = {Leonid A. Levin},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Invited Paper: How Do Humans Succeed in Tasks Like Proving Fermat's
                  Theorem or Predicting the Higgs Boson?},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {513--517},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_38},
  doi          = {10.1007/978-3-031-44274-2\_38},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/Levin23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MisraK23,
  author       = {Anshuman Misra and
                  Ajay D. Kshemkalyani},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Byzantine-Tolerant Detection of Causality in Synchronous
                  Systems},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {57--61},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_5},
  doi          = {10.1007/978-3-031-44274-2\_5},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/MisraK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MisraK23a,
  author       = {Anshuman Misra and
                  Ajay D. Kshemkalyani},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Byzantine Fault-Tolerant Causal Order Satisfying Strong Safety},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_10},
  doi          = {10.1007/978-3-031-44274-2\_10},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/MisraK23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/MorgensternDKAZR23,
  author       = {Gal Morgenstern and
                  Lital Dabush and
                  Jip Kim and
                  James Anderson and
                  Gil Zussman and
                  Tirza Routtenberg},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Invited Paper: Detection of False Data Injection Attacks in Power
                  Systems Using a Secured-Sensors and Graph-Based Method},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {240--258},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_18},
  doi          = {10.1007/978-3-031-44274-2\_18},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/MorgensternDKAZR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/NavarraP23,
  author       = {Alfredo Navarra and
                  Francesco Piselli},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Asynchronous Silent Programmable Matter: Line Formation},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {598--612},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_44},
  doi          = {10.1007/978-3-031-44274-2\_44},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/NavarraP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/NugrohoWS23,
  author       = {Saptadi Nugroho and
                  Alexander Weinmann and
                  Christian Schindelhauer},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Adding Pull to Push Sum for Approximate Data Aggregation},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_7},
  doi          = {10.1007/978-3-031-44274-2\_7},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/NugrohoWS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/PattanayakSM23,
  author       = {Debasish Pattanayak and
                  Gokarna Sharma and
                  Partha Sarathi Mandal},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Dispersion of Mobile Robots in Spite of Faults},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {414--429},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_31},
  doi          = {10.1007/978-3-031-44274-2\_31},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/PattanayakSM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/PetrlicL23,
  author       = {Ronald Petrlic and
                  Christof Lange},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {KerberSSIze Us: Providing Sovereignty to the People},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {259--273},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_19},
  doi          = {10.1007/978-3-031-44274-2\_19},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/PetrlicL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/SeikeY23,
  author       = {Hirokazu Seike and
                  Yukiko Yamauchi},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Separation of Unconscious Colored Robots},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_24},
  doi          = {10.1007/978-3-031-44274-2\_24},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/SeikeY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/SuryawanshiS23,
  author       = {Sahiba Suryawanshi and
                  Dhiman Saha},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Where Are the Constants? New Insights on the Role of Round Constant
                  Addition in the SymSum Distinguisher},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {223--239},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_17},
  doi          = {10.1007/978-3-031-44274-2\_17},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/SuryawanshiS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/Trivedi23,
  author       = {Devharsh Trivedi},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Brief Announcement: Efficient Probabilistic Approximations for Sign
                  and Compare},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {289--296},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_21},
  doi          = {10.1007/978-3-031-44274-2\_21},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/Trivedi23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sss/2023,
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2},
  doi          = {10.1007/978-3-031-44274-2},
  isbn         = {978-3-031-44273-5},
  timestamp    = {Sun, 08 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sss/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics