ETH Zurich, Department of Computer Science / Technical Report