Shai Halevi - Shai Halevi
Shai Halevi | |
|---|---|
| narozený | 1966 |
| Alma mater | |
| Známý jako | |
| Vědecká kariéra | |
| Pole | Počítačová věda, kryptografie |
| Instituce | IBM T.J. Watson Research Center, Algorandova nadace |
| Teze | Teorie a praxe tajného závazku (1997) |
| Doktorský poradce | Silvio Micali[1] |
| webová stránka | kamenec |
Shai Halevi (hebrejština: שי הלוי; born 1966) je počítačový vědec, který pracuje na kryptografie research ve společnosti Algorand Foundation, a blockchain startup založený Silvio Micali.
Narozen v Izrael v roce 1966 získal Halevi titul B.A. a M.Sc. v informatice z Technion, Izraelský technologický institut v letech 1991 a 1993. Získal titul Ph.D. v oboru informatiky na MIT v roce 1997 a poté se připojil IBM je Výzkumné centrum Thomase J. Watsona, kde byl do roku 2019 hlavním výzkumným pracovníkem. Od roku 2019 je vědeckým pracovníkem v Algorand Foundation.
Výzkum
Výzkumné zájmy Shai Halevi jsou v kryptografii a bezpečnosti. Publikoval řadu originálních technických výzkumných prací,[2][3] tři z nich byly oceněny pamětní cenou IBM Pat Goldberg Memorial za nejlepší papír[4] (v letech 2004, 2012 a 2013). Mezi významné příspěvky Shai Halevi patří:
- Zmatek. Halevi je spoluvynálezcem prvního kandidáta pro všeobecné účely zaměnitelnost k nerozeznání schémata se zabezpečením založeným na matematické domněnce.[5] Tento vývoj vyvolal velký zájem v kryptografické komunitě a byl nazýván „zlomovým okamžikem pro kryptografii“.[6]
- Kryptografické multilineární mapy. Halevi je spoluautorem kryptografických multilineárních map (které představují hlavní technický nástroj kryptografické obfuskace a mnoha dalších aplikací) a řeší dlouhodobý otevřený problém[7][8]
- Homomorfní šifrování. Halevi je jedním z předních výzkumníků v oboru homomorfní šifrování. Je autorem mnoha článků,[9][10][11][12][13][14] přednesl pozvané přednášky a konzultace k danému tématu,[15][16][17] a je také hlavním vývojářem (společně s Victor Shoup ) z HElib knihovna softwaru pro homormofické šifrování.[18][19][20]
- Náhodný model Oracle. Halevi spoluautorem vlivné práce, která poprvé poukázala na existenci „strukturálně chybných“ kryptosystémů, které nicméně mají důkaz bezpečnosti v random-oracle model.[21]
Od roku 2013 je Halevi předsedou řídícího výboru Konference Teorie kryptografie. Sloužil ve správní radě Mezinárodní asociace pro kryptologický výzkum.[22] Předsedal CRYPTO konference v roce 2009 a spolupředsedala konferenci TCC konference v roce 2006. Halevi rovněž přednesl mnoho pozvaných přednášek, mimo jiné v rámci konference USENIX Security Symposium v roce 2008 a Konference PKC v roce 2014.
Software
Halevi udržuje dva softwarové projekty s otevřeným zdrojovým kódem: knihovna homomorfního šifrování HElib,[23] a webový systém pro odesílání / revizi článků na akademické konference[24]
Reference
- ^ Shai Halevi na Matematický genealogický projekt
- ^ „Publikace Shai Halevi na DBLP“.
- ^ „Profil Scholar Google Shai Halevi“.
- ^ „Pat Goldberg Memorial Best Papers in CS, EE and Math“.
- ^ Sanjam Garg; Craig Gentry; Shai Halevi; Mariana Rayková; Amit Sahai; Brent Waters (2013). "Rozeznání kandidátů na nerozeznatelnost a funkční šifrování pro všechny okruhy". FOCS 2013. IEEE: 40–49. CiteSeerX 10.1.1.672.1968. doi:10.1109 / FOCS.2013.13.
- ^ Klarreich, Erica (03.02.2014). „Průlom v kryptografii by mohl způsobit, že by software nebyl odhalovatelný“. Časopis Quanta.
- ^ Sanjam Garg, Craig Gentry a Shai Halevi. Kandidátské multilineární mapy z Ideal Lattices. v EUROCRYPT 2013 (Springer)
- ^ „Co jsou to kryptografické vícelineární mapy?“. 2014-05-13.
- ^ M. van Dijk, C. Gentry, S. Halevi a V. Vaikuntanathan. Plně homomorfní šifrování přes celá čísla. v EUROCRYPT 2010 (Springer)
- ^ C. Gentry a S. Halevi. Implementace plně homomorfního šifrovacího schématu společnosti Gentry. v EUROCRYPT 2011 (Springer)
- ^ C. Gentry a S. Halevi. Plně homomorfní šifrování bez rozmačkání pomocí aritmetických obvodů hloubky 3. v FOCS 2011 (IEEE)
- ^ C. Gentry, S. Halevi a N. P. Smart. Plně homomorfní šifrování s režií Polylog. v EUROCRYPT 2012 (Springer)
- ^ C. Gentry, S. Halevi a N. P. Smart. Lepší bootování v plně homomorfním šifrování. v PKC 2012 (Springer)
- ^ C. Gentry, S. Halevi a N. P. Smart. Homomorfní vyhodnocení obvodu AES. v CRYPTO 2012 (Springer)
- ^ Plně homomorfní šifrování Výukový program na zimní škole pro bezpečný výpočet a efektivitu, Bar-Ilan University, 2011.
- ^ Plně homomorfní šifrování. Výukový program pro CRYPTO 2011, UC Santa-Barbara
- ^ Plně homomorfní šifrování. Pozvaná přednáška na UCI Workshop on Lattices with Symmetry
- ^ Shai Halevi; Victor Shoup. „HElib: Implementace homomorfního šifrování“. Citováno 31. prosince 2014.
- ^ S. Halevi a V. Shoup. Algoritmy v HElib. v CRYPTO 2014
- ^ S. Halevi a V. Shoup. Bootstrapping pro HElib. v Archiv kryptologie ePrint
- ^ Canetti, Ran; Goldreich, Oded; Halevi, Shai (červenec 2004). „Náhodná Oracle Methodology, Revisited“. J ACM. ACM. 51 (4): 557–594.
- ^ „Představenstvo IACR (2013)“. Mezinárodní asociace pro kryptologický výzkum. Archivovány od originál dne 15. června 2013. Citováno 7. ledna 2015.
- ^ "HElib: knihovna homomorfního šifrování softwaru".
- ^ „websubrev: Software pro zadávání a kontrolu webu“.
