2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS)