Amos Fiat
(ne en 1956) est un
informaticien
israelien, professeur de science informatique a l'
universite de Tel Aviv
. Il est connu pour ses travaux en
cryptographie
, sur les
algorithmes en ligne
, et sur la
theorie algorithmique des jeux
.
Amos Fiat est ne le
a
Haifa
, en
Israel
[
1
]
. Il a obtenu son doctorat en 1987 a l'
Institut Weizmann
sous la supervision d'
Adi Shamir
[
2
]
. Apres des etudes postdoctorales aupres de
Richard Karp
et
Manuel Blum
a l'
Universite de Californie a Berkeley
, il est retourne en Israel, en prenant un poste de professeur a l'Universite de Tel Aviv.
La plupart des publications les plus citees de Fiat concernent la cryptographie, y compris son travail avec Adi Shamir sur les
signatures numeriques
, menant a l'
heuristique de Fiat-Shamir
pour transformer des protocoles d'identification interactifs en modeles de signature, notamment le protocole d'authentification
sans apport de connaissance
(
Zero-knowledge
)
[
3
]
.
Elles concernent egalement son travail avec
David Chaum
et
Moni Naor
sur la
monnaie electronique
, utilise comme base pour le systeme
ecash
(en)
[
4
]
.
Avec Shamir et
Uriel Feige
en 1988, Fiat a invente le
schema d'identification Feige?Fiat?Shamir
(en)
, une methode pour utiliser la
cryptographie a cle publique
pour fournir l'
authentification de reponse
.
Avec
Gerhard Woeginger
, Fiat a organise une serie d'ateliers
Dagstuhl
sur l'
analyse concurrentielle
(en)
des
algorithmes en ligne
, et en collaboration avec Woeginger il a edite le livre
Online Algorithms: The State of the Art
(Lecture Notes in Computer Science 1442, Springer-Verlag, 1998). Ses articles de recherche incluent des methodes pour l'application de l'analyse concurrentielle pour
la memoire virtuelle paginee
[
5
]
, le
controle d'appel
(en)
[
6
]
, la
gestion des donnees
[
7
]
et l'affectation de fichiers a des serveurs dans les
systemes de fichiers
distribues
[
8
]
.
L'interet de Fiat pour la
theorie des jeux
date de sa these de recherche, ce qui comprend l'analyse du jeu pour enfants de la
bataille navale
[
9
]
.
Il s'est inspire du jeu
Tetris
dans le developpement de nouveaux algorithmes de
sequencage de taches
[
10
]
ainsi que pour l'application de l'analyse concurrentielle pour la conception d'encheres en theorie des jeux
[
11
]
.
En 2016 il est laureat, conjointement avec
Moni Naor
, du
Prix Paris-Kanellakis
de l'
Association for Computing Machinery
[
12
]
.
- avec Shamir : ≪ How to prove yourself: practical solutions to identification and signature problems ≫, Proceedings on Advances in cryptology?CRYPTO '86, 1987.
- avec
Uriel 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 ACM
Symposium 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 (ed.): ≪ 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.
- ↑
Fiat's home page
at Tel Aviv University, retrieved 2012-02-19.
- ↑
(en)
≪
Amos Fiat
≫, sur
le site du
Mathematics Genealogy Project
- ↑
Amos
Fiat
et
Adi
Shamir
,
Proceedings on Advances in cryptology?CRYPTO '86
,
vol.
263, London, UK,
Springer-Verlag
,
, 186?194
p.
(
DOI
10.1007/3-540-47721-7_12
)
, ≪ How to prove yourself: practical solutions to identification and signature problems ≫
.
- ↑
D.
Chaum
, A.
Fiat
et M.
Naor
,
Proceedings on Advances in cryptology?CRYPTO '88
,
vol.
403, London, UK,
Springer-Verlag
,
, 319?327
p.
, ≪ Untraceable electronic cash ≫
.
- ↑
Amos
Fiat
,
Richard M.
Karp
,
Michael
Luby
, Lyle A.
McGeoch
,
Daniel D.
Sleator
et Neal E.
Young
, ≪
Competitive paging algorithms
≫,
Journal of Algorithms
,
vol.
12,
n
o
4,
,
p.
685?699
(
DOI
10.1016/0196-6774(91)90041-V
,
arXiv
cs.DS/0205038
)
.
- ↑
Baruch
Awerbuch
, Yair
Bartal
, Amos
Fiat
et Adi
Rosen
,
Proceedings of the Fifth ACM-SIAM Symposium on Discrete Algorithms (SODA '94)
,
, 312?320
p.
(
lire en ligne
)
, ≪ Competitive non-preemptive call control ≫
.
- ↑
Yair
Bartal
, Amos
Fiat
et Yuval
Rabani
, ≪
Competitive algorithms for distributed data management
≫,
Journal of Computer and System Sciences
,
vol.
51,
n
o
3,
,
p.
341?358
(
DOI
10.1006/jcss.1995.1073
,
MR
1368903
)
.
- ↑
Baruch
Awerbuch
, Yair
Bartal
et Amos
Fiat
,
Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC '93)
,
, 164?173
p.
(
DOI
10.1145/167088.167142
)
, ≪ Competitive distributed file allocation ≫
.
- ↑
Amos
Fiat
et Adi
Shamir
, ≪
How to find a battleship
≫,
Networks
,
vol.
19,
n
o
3,
,
p.
361?371
(
DOI
10.1002/net.3230190306
,
MR
996587
)
.
- ↑
Yair
Bartal
, Amos
Fiat
, Howard
Karloff
et Rakesh
Vohra
,
Proceedings of the Twenty-Fourth ACM Symposium on Theory of Computing (STOC '92)
,
, 51?58
p.
(
DOI
10.1145/129712.129718
)
, ≪ New algorithms for an ancient scheduling problem ≫
.
- ↑
Amos
Fiat
,
Andrew V.
Goldberg
, Jason D.
Hartline
et
Anna R.
Karlin
,
Proceedings of the Thirty-Fourth ACM Symposium on Theory of Computing (STOC '02)
,
, 72?81
p.
(
DOI
10.1145/509907.509921
)
, ≪ Competitive generalized auctions ≫
.
- ↑
≪
ACM Paris Kanellakis Award
≫, ACM
(consulte le
)
- Ressources relatives a la recherche
:
|
- Adleman
,
Diffie
,
Hellman
,
Merkle
,
Rivest
et
Shamir
(1996)
- Lempel
et
Ziv
(1997)
- Bryant
,
Clarke
,
Emerson
et
McMillan
(1998)
- Sleator
et
Tarjan
(1999)
- Karmarkar
(2000)
- Myers
(2001)
- Franaszek
(2002)
- Miller
,
Rabin
,
Solovay
et
Strassen
(2003)
- Freund
et
Schapire
(2004)
- Holzmann
,
Kurshan
,
Vardi
et
Wolper
(2005)
- Robert Brayton
(2006)
- Bruno Buchberger
(2007)
- Corinna Cortes
et
Vladimir Vapnik
(2008)
- Bellare
et
Rogaway
(2009)
- Kurt Mehlhorn
(2010)
- Hanan Samet
(2011)
- Andrei Broder
,
Moses Charikar
et
Piotr Indyk
(2012)
- Robert D. Blumofe
et
Charles E. Leiserson
(2013)
- James Demmel
(2014)
- Michael Luby
(2015)
- Amos Fiat
et
Moni Naor
(2016)
- Scott Shenker
(2017)
- Pevzner
(2018)
- Noga Alon
,
Phillip Gibbons
,
Yossi Matias
et
Mario Szegedy
(2019)
- Yossi Azar,
Andrei Broder
,
Anna Karlin
,
Michael Mitzenmacher
et
Eli Upfal
(2020)
- Avrim Blum,
Irit Dinur
,
Cynthia Dwork
,
Frank McSherry
,
Kobbi Nissim
et
Adam Davison Smith
(2021)
- Michael Burrows
, Paolo Ferragina et Giovanni Manzini (2022)
|