Голдвассер Шафрира
1958 г. рождения. Профессор Массачусетского технологического института (Massachusetts Institute of Technology) (Кембридж, США), и Института им. Вейцмана (Weizmann Institute of Science) (Реховот, Израиль).
Иностранный член РАН c 28.10.2016 г.
Специалист по теоретической информатике с мировой известностью. Её работы в области интерактивных доказательств и вычислительной теории чисел стали основополагающими в современной математической криптографии и теории сложности вычислений.
Имеет работы по разным аспектам теоретической криптографии:
• безопасным многосторонним вычислениям,
• делегированию вычислений,
• обфускации программ, в т. ч. разработке программ на ограниченное число запусков,
• разработке криптосистем устойчивых к частичной утечке ключа или к утечке косвенных данных, таких, как энергопотребление.
В области вычислительной теории чисел задолго до алгоритма Агравала-Каяла-Саксены разработала алгоритм проверки простоты на базе эллиптических кривых, работающий почти всегда – криптографические системы с открытым ключом, ставшие известными как система Блюма-Голдвассер и система Голдвассер-Микали.
В ее работах, в том числе с соавторами, введено фундаментальное понятие доказательства с нулевым разглашением, на основе которого впоследствии были разработаны многие криптографические протоколы:
• доказано, что любой интерактивный протокол с частными случайными битами можно преобразовать в интерактивный протокол с общими случайными битами,
• получен один из первых результатов, связывающий интерактивные доказательства и сложность приближённого решения NP-трудных задач.
Совместно с Микали С. она ввела, ставшие ныне стандартными, понятие семантической надёжности и «гибридный» метод доказательства.
За свои работы удостоена многочисленных премий и наград, в т. ч. премии Гёделя (дважды) и премии Тьюринга. Является членом Национальной академии наук США и других академий.
Поддерживает научные связи с математиками России. В июне 2014 года была приглашенным докладчиком на 8-м Ежегодном симпозиуме по теоретической информатике в России (CSR2014).
Место работы и должность
Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory, The Stata Center, Building 32, 32 Vassar Street Cambridge, MA 02139, USA.