Stabilization, safety, and security of distributed systems 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020 : proceedings - Devismes, Stéphane; Mittal, Neeraj (Theoretical computer science and general issues, 2020)