Шай Халеви ( иврит : שי הלוי ; род. 1966) - ученый-компьютерщик, работающий над исследованиями криптографии в Algorand Foundation, блокчейн- стартапе, основанном Сильвио Микали .
Шай Халеви | |
---|---|
Родившийся | 1966 г. |
Альма-матер | |
Известен | |
Научная карьера | |
Поля | Информатика , криптография |
Учреждения | Исследовательский центр IBM TJ Watson , Algorand Foundation |
Тезис | Теория и практика тайного обязательства (1997) |
Докторант | Сильвио Микали [1] |
Веб-сайт | квасцы |
Халеви родился в Израиле в 1966 году и получил степень бакалавра и магистра наук. в области информатики в Технионе , Израильском технологическом институте в 1991 и 1993 годах. Он получил докторскую степень. в области компьютерных наук в Массачусетском технологическом институте в 1997 году, а затем присоединился к IBM «s Томас Уотсон исследовательского центр , где он был главным научным сотрудником до 2019 С 2019 годом он был научным сотрудником Algorand фонда.
Исследовать
Область научных интересов Шая Халеви - криптография и безопасность. Он опубликовал множество оригинальных технических исследовательских работ [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] Он председательствовал на конференции CRYPTO в 2009 году и был сопредседателем конференции TCC в 2006 году. Халеви также выступил с многочисленными приглашенными докладами, в том числе на симпозиуме по безопасности USENIX в 2008 году и конференции PKC в 2014 году.
Программное обеспечение
Halevi поддерживает два проекта программного обеспечения с открытым исходным кодом: библиотеку гомоморфного шифрования HElib [23] и веб-систему для представления / рецензирования статей на академические конференции [24].
Рекомендации
- ^ Шай Халеви в проекте « Математическая генеалогия»
- ^ "Публикации Шая Халеви в DBLP" .
- ^ "Профиль ученого Google Шая Халеви" .
- ^ "Лучшие работы Мемориала Пэта Голдберга по CS, EE и математике" .
- ^ Санджам Гарг; Крейг Джентри; Шай Халеви; Марьяна Райкова; Амит Сахаи; Брент Уотерс (2013). «Возможное запутывание неразличимости и функциональное шифрование для всех схем». FOCS 2013 . IEEE: 40–49. CiteSeerX 10.1.1.672.1968 . DOI : 10.1109 / FOCS.2013.13 .
- ^ Кларрайх, Эрика (2014-02-03). «Прорыв в криптографии может сделать программное обеспечение невзламываемым» . Журнал Quanta .
- ^ Sanjam Garg, Крейг Джентри и Шай Галеви. Возможные полилинейные карты из идеальных решеток . В EUROCRYPT 2013 (Springer)
- ^ "Что такое криптографические многолинейные карты?" . 2014-05-13.
- ^ М. ван Дейк, К. Джентри, С. Халеви и В. Вайкунтанатан. Полностью гомоморфное шифрование целых чисел . В EUROCRYPT 2010 (Springer)
- ^ С. Джентри и С. Халеви. Реализация полностью гомоморфной схемы шифрования Gentry . В EUROCRYPT 2011 (Springer)
- ^ С. Джентри и С. Халеви. Полностью гомоморфное шифрование без сжатия с использованием арифметических схем глубины 3 . В FOCS 2011 (IEEE)
- ^ С. Джентри, С. Халеви и Н. П. Смарт. Полностью гомоморфное шифрование с накладными расходами полилога . В EUROCRYPT 2012 (Springer)
- ^ С. Джентри, С. Халеви и Н. П. Смарт. Лучшая загрузка при полностью гомоморфном шифровании . В PKC 2012 (Springer)
- ^ С. Джентри, С. Халеви и Н. П. Смарт. Гомоморфная оценка схемы AES . В CRYPTO 2012 (Springer)
- ^ Полностью гомоморфное шифрование . Учебник Зимней школы по безопасным вычислениям и эффективности, Университет Бар-Илан, 2011 г.
- ^ Полностью гомоморфное шифрование . Учебное пособие в CRYPTO 2011, Калифорнийский университет в Санта-Барбаре
- ^ Полностью гомоморфное шифрование . Приглашенная лекция на семинаре UCI по решеткам с симметрией
- ^ Шай Халеви; Виктор Шуп. «HElib: реализация гомоморфного шифрования» . Проверено 31 декабря 2014 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ С. Халеви и В. Шоуп. Алгоритмы в HElib . В CRYPTO 2014
- ^ С. Халеви и В. Шоуп. Начальная загрузка для HElib . В архиве Cryptology ePrint
- ^ Канетти, Ран; Гольдрайх, Одед; Халеви, Шай (июль 2004 г.). «Повторение методологии случайного оракула» . J ACM . ACM. 51 (4): 557–594.
- ^ «Совет директоров МАКО (2013 г.)» . Международная ассоциация криптологических исследований . Архивировано из оригинального 15 июня 2013 года . Проверено 7 января 2015 года . CS1 maint: обескураженный параметр ( ссылка )
- ^ «HElib: программная библиотека для гомоморфного шифрования» .
- ^ "websubrev: Программное обеспечение для отправки и просмотра веб-материалов" .
Внешние ссылки
- Домашняя страница Шаи Халеви
- Группа исследований криптографии в Исследовательском центре IBM TJWatson