Шай Халеви - Shai Halevi

Шай Халеви
Родившийся1966
Израиль
Альма-матер
Известен
Научная карьера
ПоляИнформатика, криптография
УчрежденияIBM T.J. Исследовательский центр Уотсона, Фонд Алгоранд
ТезисТеория и практика тайного обязательства (1997)
ДокторантСильвио Микали[1]
Интернет сайтквасцы.mit.edu/ www/ Shaih

Шай Халеви (иврит: שי הלוי; 1966 г.р.) - ученый-компьютерщик, работающий над криптография исследования в Algorand Foundation, блокчейн стартап, основанный Сильвио Микали.

Рожден в Израиль в 1966 году Халеви получил степень бакалавра искусств. и M.Sc. в информатике из Технион, Израильский технологический институт в 1991 и 1993 годах. Получил докторскую степень. получил степень бакалавра компьютерных наук в Массачусетском технологическом институте в 1997 г. IBM с Исследовательский центр Томаса Дж. Уотсона, где он был главным научным сотрудником до 2019 года. С 2019 года он был научным сотрудником в Algorand Foundation.

Исследование

Область научных интересов Шая Халеви - криптография и безопасность. Он опубликовал множество оригинальных технических исследовательских работ,[2][3] три из них были удостоены мемориальной награды IBM за лучшую работу Пэта Голдберга.[4] (в 2004, 2012 и 2013 гг.). Среди заметных вкладов Шая Халеви:

  • Обфускация. Халеви - соавтор первого кандидата универсального назначения неразличимость обфускации схемы, с безопасностью, основанной на математической гипотезе.[5] Эта разработка вызвала большой интерес в криптографическом сообществе и была названа «переломным моментом для криптографии».[6]
  • Криптографические мультилинейные карты. Халеви является соавтором криптографических мультилинейных карт (которые представляют собой основной технический инструмент для криптографической обфускации и многих других приложений), решая давнюю открытую проблему.[7][8]
  • Гомоморфное шифрование. Халеви - один из ведущих исследователей гомоморфное шифрование. Он автор многих статей,[9][10][11][12][13][14] читал приглашенные лекции и обучающие программы по теме,[15][16][17] и он также является основным разработчиком (вместе с Виктор Шуп ) из HElib программная библиотека гомормофического шифрования.[18][19][20]
  • Модель случайного оракула. Халеви является соавтором влиятельной работы, в которой впервые было указано на существование «структурно несовершенных» криптосистем, которые, тем не менее, имеют доказательство безопасности в случайная модель оракула.[21]

С 2013 года Халеви является председателем управляющего комитета Конференция по теории криптографии. Он входил в совет директоров Международная ассоциация криптологических исследований.[22] Он возглавлял КРИПТО конференции в 2009 году и был сопредседателем TCC конференции в 2006 году. Халеви также выступил с многочисленными приглашенными докладами, в том числе в Симпозиум по безопасности USENIX в 2008 году и Конференция PKC в 2014.

Программного обеспечения

Halevi поддерживает два проекта программного обеспечения с открытым исходным кодом: библиотека гомоморфного шифрования HElib,[23] и веб-система для подачи / рецензирования статей на научные конференции[24]

Рекомендации

  1. ^ Шай Халеви на Проект "Математическая генеалогия"
  2. ^ «Публикации Шая Халеви в DBLP».
  3. ^ "Профиль ученого Google Шая Халеви".
  4. ^ "Лучшие работы Мемориала Пэта Голдберга по CS, EE и математике".
  5. ^ Санджам Гарг; Крейг Джентри; Шай Халеви; Марьяна Райкова; Амит Сахаи; Брент Уотерс (2013). «Обфускация кандидата неразличимости и функциональное шифрование для всех схем». FOCS 2013. IEEE: 40–49. CiteSeerX  10.1.1.672.1968. Дои:10.1109 / FOCS.2013.13.
  6. ^ Кларрайх, Эрика (2014-02-03). «Прорыв в криптографии может сделать ПО невзламываемым». Журнал Quanta.
  7. ^ Санджам Гарг, Крейг Джентри и Шай Халеви. Возможные полилинейные карты из идеальных решеток. В EUROCRYPT 2013 (Спрингер)
  8. ^ "Что такое криптографические многолинейные карты?". 2014-05-13.
  9. ^ М. ван Дейк, К. Джентри, С. Халеви и В. Вайкунтанатан. Полностью гомоморфное шифрование целых чисел. В ЕВРОКРИПТ 2010 (Спрингер)
  10. ^ К. Джентри и С. Галеви. Реализация полностью гомоморфной схемы шифрования Gentry. В EUROCRYPT 2011 (Спрингер)
  11. ^ К. Джентри и С. Галеви. Полностью гомоморфное шифрование без сжатия с использованием арифметических схем глубины 3. В FOCS 2011 (IEEE)
  12. ^ К. Джентри, С. Халеви и Н. П. Смарт. Полностью гомоморфное шифрование с накладными расходами полилога. В ЕВРОКРИПТ 2012 (Спрингер)
  13. ^ К. Джентри, С. Халеви и Н. П. Смарт. Лучшая загрузка при полностью гомоморфном шифровании. В PKC 2012 (Спрингер)
  14. ^ К. Джентри, С. Халеви и Н. П. Смарт. Гомоморфная оценка схемы AES. В КРИПТО 2012 (Спрингер)
  15. ^ Полностью гомоморфное шифрование.Учебник Зимней школы по безопасным вычислениям и эффективности, Университет Бар-Илан, 2011 г.
  16. ^ Полностью гомоморфное шифрование. Учебное пособие в CRYPTO 2011, Калифорнийский университет в Санта-Барбаре
  17. ^ Полностью гомоморфное шифрование. Приглашенная лекция на семинаре UCI по решеткам с симметрией
  18. ^ Шай Халеви; Виктор Шоуп. «HElib: реализация гомоморфного шифрования». Получено 31 декабря 2014.
  19. ^ С. Халеви и В. Шоуп. Алгоритмы в HElib. В КРИПТО 2014
  20. ^ С. Халеви и В. Шоуп. Начальная загрузка для HElib. В Архив криптологии ePrint
  21. ^ Канетти, Ран; Гольдрайх, Одед; Халеви, Шай (июль 2004 г.). «Повторение методологии случайного оракула». J ACM. ACM. 51 (4): 557–594.
  22. ^ «Совет директоров МАКО (2013 г.)». Международная ассоциация криптологических исследований. Архивировано из оригинал 15 июня 2013 г.. Получено 7 января, 2015.
  23. ^ «HElib: программная библиотека для гомоморфного шифрования».
  24. ^ "websubrev: Программное обеспечение для отправки и просмотра веб-страниц".

внешняя ссылка