Dieter Gollmann, Microsoft Research