Stabilization, Safety, and Security of Distributed Systems : 25th International Symposium, SSS 2023, Jersey City, NJ, USA, October 2-4, 2023, Proceedings - Dolev, Shlomi. (Springer, 2023)