Stabilization, safety, and security of distributed systems 22nd international symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings - Devismes, Stéphane (Lecture notes in computer science, 2020)