2012 IEEE 31st Symposium on Reliable Distributed Systems