Josh Benaloh, Microsoft Research