Max Home IndustryДва профессора Массачусетского технологического института были названы лауреатами премии имени А. М. Тьюринга 2012 года за их новаторскую работу в области криптографии и теории сложности.
Премия ACM A. M Turing Award широко считается «Нобелевской премией в области вычислительной техники» и присуждается в размере 250 000 долларов США при финансовой поддержке Intel и Google. Она присуждается ежегодно, и последними ее лауреатами являются Шафи Голдвассер и Сильвио Микали, которые совместно разработали новые механизмы шифрования и защиты информации, а также добились фундаментальных успехов в теории вычислительной сложности.
Согласно пресс-релизу ACM:
Работая вместе, они стали пионерами в области доказуемой безопасности, которая заложила математические основы, сделавшие возможной современную криптографию. Формализовав концепцию о том, что криптографическая безопасность должна быть вычислительной, а не абсолютной, они создали математические структуры, которые превратили криптографию из искусства в науку. Их работа направлена на решение важных практических проблем, таких как защита данных от просмотра или изменения, обеспечение безопасных средств связи и транзакций через Интернет. Их достижения привели к понятию интерактивных и вероятностных доказательств и оказали глубокое влияние на вычислительную сложность, область, которая фокусируется на классификации вычислительных задач в соответствии с присущей им сложностью.
Шафи Голдвассер (слева) и Сильвио Микали (справа) Фото: CSAIL/MIT
Голдвассер и Микали начали сотрудничать в качестве аспирантов в Калифорнийском университете в Беркли в 1980 году. Исследуя идею о том, как безопасно играть в покер по телефону, они разработали схему шифрования и обеспечения безопасности отдельных битов данных, и эта работа привела к публикации в 1982 году статьи под названием “Вероятностное шифрование”, которая заложила основу для современной криптографии.
Еще одним значительным вкладом Голдвассера и Микали является их статья 1985 года с Чарльзом Ракоффом под названием “Сложность знаний интерактивных систем доказательства.” Он ввел сложность знаний, концепцию, которая имеет дело с сокрытием информации от противника, и является количественной мерой того, сколько “полезной информации” может быть извлечено. Эта статья положила начало идее доказательств “нулевого знания”, описанной как поразительная новая философская идея, которая обеспечила необходимый язык для разговора о безопасности криптографических протоколов путем контроля утечки знаний.
Комментируя награду, Голдвассер говорит::
“Я очень горжусь тем, что получил премию Тьюринга. В то время наша работа была очень нетрадиционной. Мы были аспирантами и дали волю своему воображению, начиная с использования рандомизированных методов шифрования отдельных битов и заканчивая расширением классического определения доказательства, чтобы допустить небольшую ошибку, и постановкой новых целей в области безопасности. Получение награды является еще одним свидетельством того, что сообщество криптографов и теоретиков сложности приняло эти идеи за последние 30 лет.”
Микали добавляет:
“Я польщен этим признанием и благодарен сообществу компьютерных наук, поскольку, будучи аспирантами, мы пошли на серьезный риск и столкнулись с несколькими отказами, но также получили драгоценную поддержку от исключительных наставников. Я также горжусь тем, как далеко другие продвинулись в нашей первоначальной работе.”
Президент ACM Винт Серф сказал, что практическое влияние идей, обнародованных Голдвассером и Микали, ощутимо:
“Схемы шифрования, работающие в современных браузерах, соответствуют их представлениям о безопасности. Метод шифрования номеров кредитных карт при совершении покупок в Интернете также соответствует их тесту. Мы в долгу перед этими получателями за их инновационные подходы к обеспечению безопасности в цифровую эпоху.”