2020 International Symposium on Reliable Distributed Systems (SRDS)