2018 IEEE 37th International Symposium on Reliable Distributed Systems Workshops (SRDSW)