Рон Ривест | |
---|---|
Рожденный | ( 1947-05-06 )6 мая 1947 г. Скенектади, Нью-Йорк , США |
Национальность | американский |
Альма-матер | Йельский университет ( бакалавр ) Стэнфордский университет ( доктор философии ) |
Известный | Открытый ключ RSA , RC2 , RC4 , RC5 , RC6 MD2 , MD4 , MD5 , MD6 , кольцевая подпись |
Награды |
|
Научная карьера | |
Поля | |
Учреждения | Массачусетский технологический институт |
Тезис | Анализ алгоритмов ассоциативного поиска (1974) |
научный руководитель | Роберт У. Флойд |
Докторанты |
|
Веб-сайт | люди.csail.mit.edu/rivest/ |
Рональд Линн Ривест ( / r ɪ ˈ v ɛ s t / ; [3] [4] родился 6 мая 1947 года) — американский криптограф и учёный-компьютерщик, чья работа охватывает области алгоритмов и комбинаторики, криптографии, машинного обучения и честности выборов. Он является профессором Массачусетского технологического института (MIT), [5] и членом кафедры электротехники и компьютерных наук MIT и его лаборатории компьютерных наук и искусственного интеллекта .
Наряду с Ади Шамиром и Леном Адлеманом , Ривест является одним из изобретателей алгоритма RSA . Он также является изобретателем алгоритмов шифрования с симметричным ключом RC2 , RC4 и RC5 , а также соавтором RC6 . ( RC означает «Rivest Cipher».) Он также разработал криптографические хэш-функции MD2 , MD4 , MD5 и MD6 .
Ривест получил степень бакалавра по математике в Йельском университете в 1969 году и степень доктора философии по информатике в Стэнфордском университете в 1974 году за исследования под руководством Роберта У. Флойда . [1]
В Массачусетском технологическом институте Ривест является членом группы теории вычислений и основателем группы криптографии и информационной безопасности MIT CSAIL.
Ривест был основателем RSA Data Security (теперь объединенной с Security Dynamics в RSA Security ), Verisign и Peppercoin .
Среди его бывших докторантов были Аврим Блум , Бенни Чор , Салли Голдман , Берт Калиски , Анна Лысянская , Рон Пинтер , Роберт Шапир , Алан Шерман [1] и Мона Сингх . [ 2]
Ривест особенно известен своими исследованиями в области криптографии . Он также внес значительный вклад в разработку алгоритмов , вычислительную сложность машинного обучения и безопасность выборов .
Публикация криптосистемы RSA Ривестом, Ади Шамиром и Леонардом Адлеманом в 1978 году [C1] произвела революцию в современной криптографии, предоставив первый пригодный для использования и публично описанный метод криптографии с открытым ключом . За эту работу три автора получили премию Тьюринга 2002 года , высшую награду в области компьютерных наук. Награда отмечала «их гениальный вклад в то, чтобы сделать криптографию с открытым ключом полезной на практике». [6] В той же статье, которая представила эту криптосистему, также были представлены Алиса и Боб , вымышленные герои многих последующих криптографических протоколов . [7] В том же году Ривест, Адлеман и Майкл Дертузос впервые сформулировали гомоморфное шифрование и его приложения в безопасных облачных вычислениях , [C2] идея, которая не была реализована до тех пор, пока более 40 лет спустя не были наконец разработаны безопасные алгоритмы гомоморфного шифрования. [8]
Ривест был одним из изобретателей схемы публичной подписи GMR , опубликованной совместно с Шафи Голдвассером и Сильвио Микали в 1988 году, [C3] [9] и кольцевых подписей , анонимизированной формы групповых подписей, изобретенных совместно с Шамиром и Яэль Тауман Калаи в 2001 году. [C7] Он разработал криптографические хэш-функции MD4 и MD5 , опубликованные в 1990 и 1992 годах соответственно, [C4] [C5] и последовательность симметричных блочных шифров , включающих RC2 , RC4 , RC5 и RC6 . [C6] [C8]
Другие вклады Ривеста в криптографию включают в себя chaffing and winnowing , протокол блокировки для аутентификации анонимного обмена ключами , криптографические капсулы времени , такие как LCS35, основанные на ожидаемых улучшениях скорости вычислений с помощью закона Мура , отбеливание ключей и его применение через режим ключа xor–encrypt–xor при расширении стандарта шифрования данных до DES-X , а также систему Peppercoin для криптографических микроплатежей .
В 1973 году Ривест и его соавторы опубликовали первый алгоритм выбора , который достиг линейного времени без использования рандомизации . [A1] [10] Их алгоритм, метод медианы медиан , обычно преподается на курсах по алгоритмам. [11] Ривест также является одним из двух тезок алгоритма Флойда–Ривеста , алгоритма рандомизированного выбора, который достигает почти оптимального числа сравнений. [A2] [12]
Докторская диссертация Ривеста 1974 года была посвящена использованию хэш-таблиц для быстрого сопоставления частичных слов в документах; позже он опубликовал эту работу в журнале. [A3] Его исследования с этого времени по самоорганизующимся спискам [A4] стали одним из важных предшественников развития конкурентного анализа для онлайн-алгоритмов . [13] В начале 1980-х годов он также опубликовал хорошо цитируемые исследования по проблемам двумерной упаковки контейнеров [A5] и по маршрутизации каналов в проектировании СБИС . [A6]
Он является соавтором Introduction to Algorithms (также известного как CLRS ), стандартного учебника по алгоритмам, совместно с Thomas H. Cormen , Charles E. Leiserson и Clifford Stein . Впервые опубликованный в 1990 году, он был расширен до четырех изданий, последнее из которых вышло в 2022 году. [A7]
В задаче обучения дерева решений Ривест и Лоран Хайафил доказали, что NP-полной задачей является нахождение дерева решений, которое идентифицирует каждый из набора объектов с помощью вопросов с двоичными значениями (как в салонной игре из двадцати вопросов ) и которое минимизирует ожидаемое количество вопросов, которые будут заданы. [L1] Совместно с Авримом Блюмом Ривест также показал, что даже для очень простых нейронных сетей может быть NP-полной задача обучения сети путем нахождения весов, которые позволяют ей правильно решать заданную задачу классификации. [L3] Несмотря на эти отрицательные результаты, он также нашел методы для эффективного вывода списков решений , [L2] деревьев решений, [L4] и конечных автоматов . [L5]
Значимой темой в более поздних исследованиях Ривеста была безопасность выборов , основанная на принципе независимости программного обеспечения : безопасность выборов должна быть основана на физических записях, так что скрытые изменения в программном обеспечении, используемом в системах голосования, не могут привести к необнаружимым изменениям результатов выборов. Его исследования в этой области включают повышение надежности смешанных сетей в этом приложении, [V1] изобретение в 2006 году системы голосования на основе бумажных бюллетеней ThreeBallot , сквозной проверяемой системы (которую он передал в общественное достояние в интересах продвижения демократии), [V2] [6] и разработку системы безопасности Scantegrity для систем голосования с оптическим сканированием . [V3]
Он был членом Комитета по разработке технических рекомендаций Комиссии по содействию проведению выборов . [14]
Ривест является членом Национальной академии инженерии , Национальной академии наук , а также членом Ассоциации вычислительной техники , Международной ассоциации криптологических исследований и Американской академии искусств и наук . Вместе с Ади Шамиром и Леном Адлеманом он был награжден премией IEEE Koji Kobayashi Computers and Communications Award 2000 года и премией Secure Computing Lifetime Achievement Award. Он также разделил с ними премию Тьюринга . Ривест получил почетную степень («laurea honoris causa») от Римского университета Ла Сапиенца . [15] В 2005 году он получил премию MITX Lifetime Achievement Award. В 2007 году Ривест был назван стипендиатом Маркони, а 29 мая 2008 года он также прочитал лекцию Чесли в Карлтонском колледже . В июне 2015 года он был назначен профессором Массачусетского технологического института. [16]
Публикации Ривеста включают:
А1. | Блюм, Мануэль ; Флойд, Роберт В .; Пратт, Воган ; Ривест, Рональд Л.; Тарьян, Роберт Э. (1973). «Временные рамки для выбора» (PDF) . Журнал компьютерных и системных наук . 7 (4): 448–461. doi : 10.1016/S0022-0000(73)80033-9 . MR 0329916.Ранее анонсировано как «Линейные временные границы для вычислений медианы», STOC 1972. |
А2. | Флойд, Роберт В.; Ривест, Рональд Л. (март 1975 г.). «Ожидаемые временные рамки для отбора». Сообщения ACM . 18 (3): 165–172. doi : 10.1145/360680.360691 . S2CID 3064709.См. также «Алгоритм 489: алгоритм SELECT — для нахождения наименьшего из элементов», стр. 173, doi :10.1145/360680.360694. |
А3. | Ривест, Рональд Л. (1976). «Алгоритмы частичного поиска совпадений». Журнал SIAM по вычислениям . 5 (1): 19–50. doi :10.1137/0205003. MR 0395398.Ранее анонсировано на 15-м ежегодном симпозиуме по теории коммутации и автоматов, 1974 г. |
А4. | Ривест, Рональд (1976). «О самоорганизующихся эвристиках последовательного поиска». Сообщения ACM . 19 (2): 63–67. doi : 10.1145/359997.360000 . MR 0408303. S2CID 498886.Ранее анонсировано на 15-м ежегодном симпозиуме по теории коммутации и автоматов, 1974 г. |
А5. | Бейкер, Бренда С.; Коффман , Э. Г. Мл .; Ривест, Рональд Л. (1980). «Ортогональные упаковки в двух измерениях». SIAM Journal on Computing . 9 (4): 846–855. CiteSeerX 10.1.1.309.8883 . doi :10.1137/0209064. MR 0592771. |
А6. | Rivest, Ronald L.; Fiduccia, Charles M. (1982). «A „gredy“ channel router» („жадный“ маршрутизатор каналов). В Crabbe, James S.; Radke, Charles E.; Ofek, Hillel (ред.). Труды 19-й конференции по автоматизации проектирования, DAC '82, Лас-Вегас, Невада, США, 14–16 июня 1982 г. ACM и IEEE. стр. 418–424. doi :10.1145/800263.809239. |
А7. | Кормен, Томас Х .; Лейзерсон, Чарльз Э .; Ривест, Рональд Л. (1990). Введение в алгоритмы (1-е изд.). MIT Press и McGraw-Hill. ISBN 0-262-03141-8.2-е издание, совместно с Клиффордом Стайном , 2001 г. 3-е издание, 2009 г. 4-е издание, 2022 г. |
С1. | Ривест, Р. Л.; Шамир, А.; Адлеман , Л. (1978). «Метод получения цифровых подписей и криптосистем с открытым ключом». Сообщения ACM . 21 (2): 120–126. doi : 10.1145/359340.359342 . hdl : 1721.1/148910 . MR 0700103. S2CID 2873616. |
С2. | Ривест, Р.; Адлеман, Л .; Дертузос, М. (1978). «О банках данных и гомоморфизмах конфиденциальности». В DeMillo, Ричард А. (ред.). Основы безопасных вычислений . Academic Press. стр. 169–177. |
С3. | Goldwasser, Shafi ; Micali, Silvio ; Rivest, Ronald L. (1988). «Схема цифровой подписи, защищенная от атак с адаптивным выбором сообщений». SIAM Journal on Computing . 17 (2): 281–308. doi :10.1137/0217017. MR 0935341. S2CID 1715998.Ранее анонсировано как «Парадоксальное» решение проблемы подписи, FOCS 1984 и CRYPTO 1984. |
С4. |
С5. |
С6. |
С7. | Rivest, Ronald L.; Shamir, Adi ; Tauman, Yael (2001). «Как раскрыть секрет». В Boyd, Colin (ред.). Advances in Cryptology – ASIACRYPT 2001, 7-я Международная конференция по теории и применению криптологии и информационной безопасности, Голд-Кост, Австралия, 9–13 декабря 2001 г., Труды . Lecture Notes in Computer Science. Vol. 2248. Springer. pp. 552–565. doi : 10.1007/3-540-45682-1_32 . |
С8. | Rivest, Ronald L. (1994). "Алгоритм шифрования RC5". В Preneel, Bart (ред.). Fast Software Encryption: Second International Workshop. Лёвен, Бельгия, 14–16 декабря 1994 г., Труды . Lecture Notes in Computer Science. Vol. 1008. Springer. pp. 86–96. doi : 10.1007/3-540-60590-8_7 . |
Л1. | Хиафил, Лоран; Ривест, Рональд Л. (май 1976 г.). «Построение оптимальных бинарных деревьев решений является NP-полным». Information Processing Letters . 5 (1): 15–17. doi :10.1016/0020-0190(76)90095-8. MR 0413598. |
Л2. | Ривест, Рональд Л. (1987). «Обучение спискам решений». Машинное обучение . 2 (3): 229–246. doi : 10.1007/BF00058680 . S2CID 2840541. |
Л3. | Блюм, Аврим ; Ривест, Рональд Л. (1992). «Обучение нейронной сети с тремя узлами является NP-полным». Нейронные сети . 5 (1): 117–127. doi :10.1016/S0893-6080(05)80010-3. S2CID 8567973.Ранее в NIPS 1988. |
Л4. | Куинлан, Дж. Росс ; Ривест, Рональд Л. (1989). «Вывод деревьев решений с использованием принципа минимальной длины описания». Информация и вычисления . 80 (3): 227–248. doi :10.1016/0890-5401(89)90010-2. MR 0984483. |
Л5. | Ривест, Рональд Л.; Шапир, Роберт Э. (1993). «Вывод конечных автоматов с использованием последовательностей самонаведения». Информация и вычисления . 103 (2): 299–347. doi : 10.1006/inco.1993.1021 . MR 1216458.Ранее анонсировано на STOC 1989. |
В1. | Якобссон, Маркус; Джулс, Ари; Ривест, Рональд Л. (2002). «Создание надежных смешанных сетей для электронного голосования путем рандомизированной частичной проверки». В Boneh, Dan (ред.). Труды 11-го симпозиума по безопасности USENIX, Сан-Франциско, Калифорния, США, 5-9 августа 2002 г. Бостон, Массачусетс: Ассоциация USENIX. стр. 339–353. |
В2. | Ривест, Рональд Л.; Смит, Уоррен Д. (август 2007 г.). «Три протокола голосования: ThreeBallot, VAV и Twin» (PDF) . Семинар по технологиям электронного голосования USENIX/ACCURATE 2007 г. (EVT 07) . Бостон, Массачусетс: Ассоциация USENIX. |
В3. | Чаум, Дэвид ; Карбэк, Ричард; Кларк, Джереми; Эссекс, Александр; Поповенюк, Стефан; Ривест, Рональд Л.; Райан, Питер YA; Шен, Эмили; Шерман, Алан Т. (2008). "Scantegrity II: сквозная верификация для систем оптического сканирования выборов с использованием невидимых кодов подтверждения чернилами" (PDF) . В Дилл, Дэвид Л.; Коно, Тадаёши (ред.). Семинар по электронному голосованию USENIX/ACCURATE 2008, EVT 2008, 28-29 июля 2008 г., Сан-Хосе, Калифорния, США, Труды . Бостон, Массачусетс: Ассоциация USENIX. |
Его сын — Крис Ривест , предприниматель и соучредитель компании. [17]