Amos Fiat
Amos Fiat
Amos Fiat (nascido em 1956) é um cientista da computação israelense, professor de ciência da computação na Universidade de Tel Aviv . Ele é conhecido por seu trabalho em criptografia , algoritmos online e teoria dos jogos algorítmicos .
Biografia
Amos Fiat nasceu em 1 ° de dezembro de 1956em Haifa , Israel . Ele obteve seu doutorado em 1987 no Instituto Weizmann, sob a supervisão de Adi Shamir . Após estudos de pós-doutorado com Richard Karp e Manuel Blum na Universidade da Califórnia em Berkeley , ele retornou a Israel, assumindo o cargo de professor na Universidade de Tel Aviv.
Pesquisa
A maioria das publicações mais citadas da Fiat são sobre criptografia, incluindo seu trabalho com Adi Shamir em assinaturas digitais , levando à heurística da Fiat-Shamir para transformar protocolos de identificação interativos em modelos de assinatura, mais notavelmente a autenticação de protocolo sem entrada de conhecimento ( conhecimento zero ).
Eles também se relacionam com seu trabalho com David Chaum e Moni Naor em dinheiro eletrônico , usado como base para o sistema ecash (in) .
Com Shamir e Uriel Feige em 1988, a Fiat inventou a identificação de padrões Feige-Fiat-Shamir (in) , um método para usar a criptografia de chave pública para fornecer a autenticação de resposta .
Com Gerhard Woeginger , a Fiat organizou uma série de workshops Dagstuhl sobre análise competitiva (in) os algoritmos online e, em colaboração com Woeginger, publicou o livro Online Algorithms: The State of the Art (Lecture Notes in Computer Science 1442, Springer-Verlag , 1998). Seus artigos de pesquisa incluem métodos de aplicação de análise competitiva para memória virtual paginada , o controle de chamadas (in) , o gerenciamento de dados e a alocação de arquivos para servidores em sistemas de arquivos distribuídos.
O interesse de Fiat pela teoria dos jogos remonta à sua tese de pesquisa, que inclui a análise do jogo infantil de batalha naval .
Ele se inspirou no jogo Tetris no desenvolvimento de novos algoritmos de sequenciamento de tarefas , bem como na aplicação de análises competitivas para o projeto de leilões na teoria dos jogos.
Prêmios e reconhecimento
Em 2016 ganhou, juntamente com Moni Naor , o Prêmio Paris-Kanellakis da Association for Computing Machinery .
Publicações
- com Shamir: "Como provar a si mesmo: soluções práticas para problemas de identificação e assinatura", Proceedings on Advances in cryptology - CRYPTO '86, 1987.
- com Uriel Feige , Adi Shamir: “Provas de identidade com conhecimento zero”, Journal of Cryptology, vol 1, 1988, pp 77–94.
- com Shamir: "Como encontrar um navio de guerra", Networks, vol 19, 1989, pp 361–371.
- com Richard M. Karp, Michael Luby, Lyle A. McGeoch, Daniel D. Sleator, Neal E. Young: “Competitive paging algorítmos”, Journal of Algorithms, vol 12, 1991, pp 685-699.
- com Baruch Awerbuch, Yir Bartal: “Alocação de arquivo distribuída competitiva”, Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC '93), 1993, pp 164-173.
- com Yair Bartal, Yuval Rabani: “Algoritmos competitivos para gerenciamento de dados distribuídos”, Journal of Computer and System Sciences, vol 51, 1995, pp 341–358.
- com Gerhard Woeginger (ed.): “Online Algorithms: The State of the Art”, Lecture notes in Computer Science 1442, Springer 1998.
- com Andrew V. Goldberg, Jason D. Hartline, Anna R. Karlin: “Leilões generalizados competitivos”, Proceedings of the Thirty-Fourth ACM Symposium on Theory of Computing (STOC '02), 2002, pp 72-78.
Referências
-
Página inicial da Fiat na Universidade de Tel Aviv, acessada em 19/02/2012.
-
(em) " Amos Fiat " no site Mathematics Genealogy Project
-
Amos Fiat e Adi Shamir , Proceedings on Advances in cryptology - CRYPTO '86 , vol. 263, Londres, Reino Unido, Springer-Verlag ,1987, 186–194 p. ( DOI 10.1007 / 3-540-47721-7_12 ) , "Como provar a si mesmo: soluções práticas para problemas de identificação e assinatura".
-
D. Chaum , A. Fiat e M. Naor , Proceedings on Advances in cryptology - CRYPTO '88 , vol. 403, Londres, Reino Unido, Springer-Verlag ,1990, 319-327 p. , "Dinheiro eletrônico não rastreável".
-
Amos Fiat , Richard M. Karp , Michael Luby , Lyle A. McGeoch , Daniel D. Sleator e Neal E. Young , “ Competitive paging algorítmos ”, Journal of Algorithms , vol. 12, n o 4,1991, p. 685-699 ( DOI 10.1016 / 0196-6774 (91) 90041-V , arXiv cs.DS / 0205038 ).
-
Baruch Awerbuch , Yair Bartal , Amos Fiat e Adi Rosén , Proceedings of the Fifth ACM-SIAM Symposium on Discrete Algorithms (SODA '94) ,1994, 312–320 p. ( leia online ) , "Controle de chamadas não preemptivas competitivas".
-
Yair Bartal , Amos Fiat e Yuval Rabani , “ Algoritmos competitivos para gerenciamento de dados distribuídos ”, Journal of Computer and System Sciences , vol. 51, n o 3,1995, p. 341-358 ( DOI 10.1006 / jcss.1995.1073 , Matemática Comentários 1368903 ).
-
Baruch Awerbuch , Yair Bartal e Amos Fiat , Proceedings of the Twenty-Fifth ACM Symposium on Theory of Computing (STOC '93) ,1993, 164-173 p. ( DOI 10.1145 / 167088.167142 ) , "Alocação competitiva de arquivos distribuídos".
-
Amos Fiat e Adi Shamir , “ How to find a encouraçado ” , Networks , vol. 19, n o 3,1989, p. 361-371 ( DOI 10.1002 / net.3230190306 , Math Reviews 996587 ).
-
Yair Bartal , Amos Fiat , Howard Karloff e Rakesh Vohra , Proceedings of the Twenty-Fourth ACM Symposium on Theory of Computing (STOC '92) ,1992, 51–58 p. ( DOI 10.1145 / 129712.129718 ) , "Novos algoritmos para um antigo problema de escalonamento".
-
Amos Fiat , Andrew V. Goldberg , Jason D. Hartline e Anna R. Karlin , Proceedings of the Thirty-Fourth ACM Symposium on Theory of Computing (STOC '02) ,2002, 72-81 p. ( DOI 10.1145 / 509907.509921 ) , "Leilões competitivos generalizados".
-
" Prêmio ACM Paris Kanellakis " , ACM (acessado em 6 de junho de 2017 )
(fr) Este artigo foi retirado parcial ou totalmente do artigo da Wikipedia em
inglês intitulado
" Amos Fiat " ( ver a lista de autores ) .
links externos