Гольдвассер Шафрира
Гольдвассер Шафрира
Телефоны
Адрес электронной почты
Академические должности
Должность
Организационная структура
Дата активности
Должность
иностранный член отделения
Профиль
1958 г. рождения, профессор Массачусетского технологического института (Massachusetts Institute of Technology) (Кембридж, США), и Института им. Вейцмана (Weizmann Institute of Science) (Реховот, Израиль).
Профессор.
Иностранный член c 28.10.2016.
Специалист по теоретической информатике с мировой известностью. Её работы в области интерактивных доказательств и вычислительной теории чисел стали основополагающими в современной математической криптографии и теории сложности вычислений.
Имеет работы по разным аспектам теоретической криптографии:
• безопасным многосторонним вычислениям,
• делегированию вычислений,
• обфускации программ, в т. ч. разработке программ на ограниченное число запусков,
• разработке криптосистем устойчивых к частичной утечке ключа или к утечке косвенных данных, таких, как энергопотребление.
В области вычислительной теории чисел задолго до алгоритма Агравала-Каяла-Саксены разработала алгоритм проверки простоты на базе эллиптических кривых, работающий почти всегда – криптографические системы с открытым ключом, ставшие известными как система Блюма-Голдвассер и система Голдвассер-Микали.
В ее работах, в том числе с соавторами, введено фундаментальное понятие доказательства с нулевым разглашением, на основе которого впоследствии были разработаны многие криптографические протоколы:
• доказано, что любой интерактивный протокол с частными случайными битами можно преобразовать в интерактивный протокол с общими случайными битами,
• получен один из первых результатов, связывающий интерактивные доказательства и сложность приближённого решения NP-трудных задач.
Совместно с Микали С. она ввела, ставшие ныне стандартными, понятие семантической надёжности и «гибридный» метод доказательства.
За свои работы удостоена многочисленных премий и наград, в т. ч. премии Гёделя (дважды) и премии Тьюринга. Является членом Национальной академии наук США и других академий.
Поддерживает научные связи с математиками России. В июне 2014 года была приглашенным докладчиком на 8-м Ежегодном симпозиуме по теоретической информатике в России (CSR2014).