Голдвассер и Микали выиграли премию Тьюринга

Два профессора Массачусетского технологического института были названы лауреатами премии имени А. М. Тьюринга 2012 года за их новаторскую работу в области криптографии и теории сложности.

Премия ACM A. M Turing Award широко считается “Нобелевской премией в области вычислительной техники” и присуждается в размере 250 000 долларов США при финансовой поддержке Intel и Google. Она присуждается ежегодно, и последними ее лауреатами являются Шафи Голдвассер и Сильвио Микали, которые совместно разработали новые механизмы шифрования и защиты информации, а также добились фундаментальных успехов в теории вычислительной сложности.

Согласно пресс-релизу ACM:

Работая вместе, они стали пионерами в области доказуемой безопасности, которая заложила математические основы, сделавшие возможной современную криптографию. Формализовав концепцию о том, что криптографическая безопасность должна быть вычислительной, а не абсолютной, они создали математические структуры, которые превратили криптографию из искусства в науку. Их работа направлена на решение важных практических проблем, таких как защита данных от просмотра или изменения, обеспечение безопасных средств связи и транзакций через Интернет. Их достижения привели к понятию интерактивных и вероятностных доказательств и оказали глубокое влияние на вычислительную сложность, область, которая фокусируется на классификации вычислительных задач в соответствии с присущей им сложностью.

Шафи Голдвассер (слева) и Сильвио Микали (справа) Фото: CSAIL/MIT

Голдвассер и Микали начали сотрудничать в качестве аспирантов в Калифорнийском университете в Беркли в 1980 году. Исследуя идею о том, как безопасно играть в покер по телефону, они разработали схему шифрования и обеспечения безопасности отдельных битов данных, и эта работа привела к публикации в 1982 году статьи под названием “Вероятностное шифрование”, которая заложила основу для современной криптографии.

Еще одним значительным вкладом Голдвассера и Микали является их статья 1985 года с Чарльзом Ракоффом под названием “Сложность знаний интерактивных систем доказательства.” Он ввел сложность знаний, концепцию, которая имеет дело с сокрытием информации от противника, и является количественной мерой того, сколько “полезной информации” может быть извлечено. Эта статья положила начало идее доказательств “нулевого знания”, описанной как поразительная новая философская идея, которая обеспечила необходимый язык для разговора о безопасности криптографических протоколов путем контроля утечки знаний.

Комментируя награду, Голдвассер говорит::

“Я очень горжусь тем, что получил премию Тьюринга. В то время наша работа была очень нетрадиционной. Мы были аспирантами и дали волю своему воображению, начиная с использования рандомизированных методов шифрования отдельных битов и заканчивая расширением классического определения доказательства, чтобы допустить небольшую ошибку, и постановкой новых целей в области безопасности. Получение награды является еще одним свидетельством того, что сообщество криптографов и теоретиков сложности приняло эти идеи за последние 30 лет.”

Микали добавляет:

“Я польщен этим признанием и благодарен сообществу компьютерных наук, поскольку, будучи аспирантами, мы пошли на серьезный риск и столкнулись с несколькими отказами, но также получили драгоценную поддержку от исключительных наставников. Я также горжусь тем, как далеко другие продвинулись в нашей первоначальной работе.”

Президент ACM Винт Серф сказал, что практическое влияние идей, обнародованных Голдвассером и Микали, ощутимо:

“Схемы шифрования, работающие в современных браузерах, соответствуют их представлениям о безопасности.  Метод шифрования номеров кредитных карт при совершении покупок в Интернете также соответствует их тесту.  Мы в долгу перед этими получателями за их инновационные подходы к обеспечению безопасности в цифровую эпоху.”

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *