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