Amos Fiat
Naissance | |
---|---|
Nationalité | |
Formation | |
Activité |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse | |
Distinctions |
Amos Fiat(né en 1956) est uninformaticienisraélien, professeur de science informatique à l'université de Tel Aviv.Il est connu pour ses travaux encryptographie,sur lesalgorithmes en ligne,et sur lathéorie algorithmique des jeux.
Biographie
[modifier|modifier le code]Amos Fiat est né leàHaïfa,enIsraël[1].Il a obtenu son doctorat en 1987 à l'Institut Weizmannsous la supervision d'Adi Shamir[2].Après des études postdoctorales auprès deRichard KarpetManuel Blumà l'Université de Californie à Berkeley,il est retourné en Israël, en prenant un poste de professeur à l'Université de Tel Aviv.
Recherches
[modifier|modifier le code]La plupart des publications les plus citées de Fiat concernent la cryptographie, y compris son travail avec Adi Shamir sur lessignatures numériques,menant à l'heuristique de Fiat-Shamirpour transformer des protocoles d'identification interactifs en modèles de signature, notamment le protocole d'authentificationsans apport de connaissance(Zero-knowledge)[3].
Elles concernent également son travail avecDavid ChaumetMoni Naorsur lamonnaie électronique,utilisé comme base pour le systèmeecash(en)[4].
Avec Shamir etUriel Feigeen 1988, Fiat a inventé leschéma d'identification Feige–Fiat–Shamir(en),une méthode pour utiliser lacryptographie à clé publiquepour fournir l'authentification de réponse.
AvecGerhard Woeginger,Fiat a organisé une série d'ateliersDagstuhlsur l'analyse concurrentielle(en)desalgorithmes en ligne,et en collaboration avec Woeginger il a édité le livreOnline Algorithms: The State of the Art(Lecture Notes in Computer Science 1442, Springer-Verlag, 1998). Ses articles de recherche incluent des méthodes pour l'application de l'analyse concurrentielle pourla mémoire virtuelle paginée[5],lecontrôle d'appel(en)[6],lagestion des données[7]et l'affectation de fichiers à des serveurs dans lessystèmes de fichiersdistribués[8].
L'intérêt de Fiat pour lathéorie des jeuxdate de sa thèse de recherche, ce qui comprend l'analyse du jeu pour enfants de labataille navale[9].
Il s'est inspiré du jeuTetrisdans le développement de nouveaux algorithmes deséquençage de tâches[10]ainsi que pour l'application de l'analyse concurrentielle pour la conception d'enchères en théorie des jeux[11].
Prix et distinctions
[modifier|modifier le code]En 2016 il est lauréat, conjointement avecMoni Naor,duPrix Paris-Kanellakisde l'Association for Computing Machinery[12].
Publications
[modifier|modifier le code]- avec Shamir: « How to prove yourself: practical solutions to identification and signature problems », Proceedings on Advances in cryptology—CRYPTO '86, 1987.
- avecUriel Feige,Adi Shamir: « Zero-knowledge proofs of identity »,Journal of Cryptology,vol 1, 1988, pp 77–94.
- avec Shamir: « How to find a battleship », Networks, vol 19, 1989, pp 361–371.
- avec Richard M. Karp, Michael Luby, Lyle A. McGeoch, Daniel D. Sleator, Neal E. Young: « Competitive paging algorithms », Journal of Algorithms, vol 12, 1991, pp 685–699.
- avec Baruch Awerbuch, Yir Bartal: « Competitive distributed file allocation », Proceedings of the Twenty-Fifth ACMSymposium on Theory of Computing(STOC '93), 1993, pp 164–173.
- avec Yair Bartal, Yuval Rabani: « Competitive algorithms for distributed data management », Journal of Computer and System Sciences, vol 51, 1995, pp 341–358.
- avec Gerhard Woeginger (éd.): « Online Algorithms: The State of the Art », Lecture notes in Computer Science 1442, Springer 1998.
- avec Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin: « Competitive generalized auctions », Proceedings of the Thirty-Fourth ACM Symposium on Theory of Computing (STOC '02), 2002, pp 72–78.
Références
[modifier|modifier le code]- Fiat's home pageat Tel Aviv University, retrieved 2012-02-19.
- (en)«Amos Fiat», surle site duMathematics Genealogy Project
- AmosFiatetAdiShamir,Proceedings on Advances in cryptology—CRYPTO '86,vol.263, London, UK,Springer-Verlag,,186–194p.(DOI10.1007/3-540-47721-7_12),« How to prove yourself: practical solutions to identification and signature problems ».
- D.Chaum,A.Fiatet M.Naor,Proceedings on Advances in cryptology—CRYPTO '88,vol.403, London, UK,Springer-Verlag,,319–327p.,« Untraceable electronic cash ».
- AmosFiat,Richard M.Karp,MichaelLuby,Lyle A.McGeoch,Daniel D.Sleatoret Neal E.Young,«Competitive paging algorithms»,Journal of Algorithms,vol.12,no4,,p.685–699(DOI10.1016/0196-6774(91)90041-V,arXivcs.DS/0205038).
- BaruchAwerbuch,YairBartal,AmosFiatet AdiRosén,Proceedings of the Fifth ACM-SIAM Symposium on Discrete Algorithms (SODA '94),,312–320p.(lire en ligne),« Competitive non-preemptive call control ».
- YairBartal,AmosFiatet YuvalRabani,«Competitive algorithms for distributed data management»,Journal of Computer and System Sciences,vol.51,no3,,p.341–358(DOI10.1006/jcss.1995.1073,MR1368903).
- BaruchAwerbuch,YairBartalet AmosFiat,Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC '93),,164–173p.(DOI10.1145/167088.167142),« Competitive distributed file allocation ».
- AmosFiatet AdiShamir,«How to find a battleship»,Networks,vol.19,no3,,p.361–371(DOI10.1002/net.3230190306,MR996587).
- YairBartal,AmosFiat,HowardKarloffet RakeshVohra,Proceedings of the Twenty-Fourth ACM Symposium on Theory of Computing (STOC '92),,51–58p.(DOI10.1145/129712.129718),« New algorithms for an ancient scheduling problem ».
- AmosFiat,Andrew V.Goldberg,Jason D.HartlineetAnna R.Karlin,Proceedings of the Thirty-Fourth ACM Symposium on Theory of Computing (STOC '02),,72–81p.(DOI10.1145/509907.509921),« Competitive generalized auctions ».
- «ACM Paris Kanellakis Award», ACM(consulté le)
Liens externes
[modifier|modifier le code]
- Ressources relatives à la recherche: