Christian Cachin, IBM Research, Zurich Research Laboratory