2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)