Гольдвассер Шафрира

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.