年她和希尔维奥·米卡利因其密码学的杰出工作获得图灵奖。她是美国工程院院士。阿米尔·伯努利（Amir Pnueli），以色列计算机科学家。1996年因“开创性地将时序逻辑引入计算机科学和对程序和系统验证领域的杰出贡献”而获得图灵奖。ACM会士。阿迪·萨莫尔（Adi Shamir）是一名以色列密码学家。他与罗纳德·李维斯特和伦纳德·阿德曼共同发明了RSA加密算法；与Uriel Feige和Amos Fiat共同发明了 Feige–Fiat–Shamir identification scheme;dif