Dr. Jan Camenisch, IBM Research