Adi Shamir, Weizmann Institute of Science