Шай Халеви
Шай Халеви | |
|---|---|
| Рожденный | 1966 |
| Альма-матер | |
| Известный | |
| Научная карьера | |
| Поля | Информатика , криптография |
| Учреждения | Исследовательский центр IBM TJ Watson , Фонд Алгоранд |
| Диссертация | Теория и практика тайных обязательств (1997) |
| Докторантура | Сильвио Микали [1] |
| Веб-сайт | квасцы |
Шай Халеви ( иврит : שי הלוי ; род. 1966) — учёный-компьютерщик, работающий над криптографии исследованиями в Amazon Web Services .
Халеви родился в Израиле в 1966 году и получил степени бакалавра и магистра наук. Он получил степень доктора компьютерных наук в Технионе Израильского технологического института в 1991 и 1993 годах. Получил степень бакалавра компьютерных наук в Массачусетском технологическом институте в 1997 году, а затем присоединился к IBM компании Исследовательскому центру Томаса Дж. Уотсона , где до 2019 года был главным научным сотрудником. С 2019 по 2023 год он работал научным сотрудником в 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] Он возглавлял конференцию CRYPTO в 2009 году и был сопредседателем конференции TCC в 2006 году. Халеви также выступил с множеством приглашенных докладов, в том числе на симпозиуме по безопасности USENIX в 2008 году и конференции PKC в 2014 году.
Программное обеспечение
[ редактировать ]Халеви поддерживает два проекта программного обеспечения с открытым исходным кодом: библиотеку гомоморфного шифрования HElib, [23] и веб-система подачи/рецензирования статей на научные конференции [24]
Ссылки
[ редактировать ]- ^ Шай Халеви в проекте «Математическая генеалогия»
- ^ Шай Халеви на DBLP библиографическом сервере
- ^ Публикации Шай Халеви , проиндексированные Google Scholar.
- ^ «Лучшие статьи Мемориала Пэта Голдберга по информатике, информатике и математике» .
- ^ Санджам Гарг; Крейг Джентри; Шай Халеви; Мариана Райкова; Амит Сахай; Брент Уотерс (2013). «Кандидат на неотличимость, обфускация и функциональное шифрование для всех схем». 54-й ежегодный симпозиум IEEE по основам информатики , 2013 г. IEEE. стр. 40–49. CiteSeerX 10.1.1.672.1968 . дои : 10.1109/FOCS.2013.13 . ISBN 978-0-7695-5135-7 . S2CID 15703414 .
{{cite book}}:|journal=игнорируется ( помогите ) - ^ Кларрайх, Эрика (3 февраля 2014 г.). «Прорыв в криптографии может сделать программное обеспечение неуязвимым» . Журнал Кванта .
- ^ Санджам Гарг, Крейг Джентри и Шай Халеви. Кандидаты в полилинейные отображения из идеальных решеток . В EUROCRYPT 2013 (Springer)
- ^ «Что такое криптографические многолинейные карты?» . 13 мая 2014 г.
- ^ М. ван Дейк, К. Джентри, С. Халеви и В. Вайкунтанатан. Полностью гомоморфное шифрование целых чисел . В EUROCRYPT 2010 (Springer)
- ^ К. Джентри и С. Халеви. Реализация полностью гомоморфной схемы шифрования Джентри . В EUROCRYPT 2011 (Springer)
- ^ К. Джентри и С. Халеви. Полностью гомоморфное шифрование без сжатия с использованием арифметических схем глубины 3 . В FOCS 2011 (IEEE)
- ^ К. Джентри, С. Халеви и Н. П. Смарт. Полностью гомоморфное шифрование с полилогическими издержками . В EUROCRYPT 2012 (Springer)
- ^ К. Джентри, С. Халеви и Н. П. Смарт. Улучшение начальной загрузки при полностью гомоморфном шифровании . В ПКС 2012 (Спрингер)
- ^ К. Джентри, С. Халеви и Н. П. Смарт. Гомоморфная оценка схемы AES . В КРИПТО 2012 (Спрингер)
- ^ Полностью гомоморфное шифрование .Учебное пособие Зимней школы по безопасным вычислениям и эффективности, Университет Бар-Илан, 2011 г.
- ^ Полностью гомоморфное шифрование . Учебное пособие по CRYPTO 2011, Калифорнийский университет в Санта-Барбаре
- ^ Полностью гомоморфное шифрование . Приглашенная лекция на семинаре UCI по решеткам с симметрией
- ^ Шай Халеви; Виктор Шуп. «HElib: реализация гомоморфного шифрования» . Гитхаб . Проверено 31 декабря 2014 г.
- ^ С. Халеви и В. Шуп. Алгоритмы в HElib . В КРИПТО 2014
- ^ С. Халеви и В. Шуп. Начальная загрузка для HElib . В архиве криптологии ePrint
- ^ Канетти, Ран; Гольдрейх, Одед; Халеви, Шай (июль 2004 г.). «Методология случайного оракула, новый взгляд» . Дж АСМ . 51 (4). АКМ: 557–594. arXiv : cs/0010019 . дои : 10.1145/1008731.1008734 . S2CID 47061960 .
- ^ «Совет директоров МАКР (2013)» . Международная ассоциация криптологических исследований . Архивировано из оригинала 15 июня 2013 года . Проверено 7 января 2015 г.
- ^ «HElib: библиотека программного обеспечения гомоморфного шифрования» . Гитхаб . 21 декабря 2022 г.
- ^ «websubrev: программное обеспечение для веб-отправки и проверки» . 13 июня 2018 г.
Внешние ссылки
[ редактировать ]- Домашняя страница Шай Халеви
- Группа исследования криптографии Исследовательского центра IBM TJWatson
| Международный | |
|---|---|
| Национальный | |
| академики | |