Stabilization, Safety, and Security of Distributed Systems 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2–4, 2023, Proceedings - Dolev, Shlomi; Schieber, Baruch (Springer Nature Switzerland, 2023)