Thé Van LUONG

Crsguest

Description

Master, Supérieur, Master | doctorat, Supérieur, Doctorat (bac+8) | DEUG, Supérieur, DEUG | Ecole d'ingenieurs, Supérieur, école d'ingénieur

• cours - matière potentielle : recherche operationnelle
• cours - matière potentielle : du calcul intensif
• cours - matière potentielle : optimisation avancee
• cours - matière potentielle : nouvelles technologies

The Van LUONG Ne le 26 juin 1983 (France) Telephone : [phone] avenue de fabron Email : Nice, 06200 Nice http :// NOTICE INDIVIDUELLE FORMATION HEIG-VD - CETT Yverdon-les-Bains, Suisse Post-doctorat en Informatique 2011 - maintenant INRIA Lille Nord Europe - LIFL - Universite de Lille 1 Villeneuve d'Ascq, France Doctorat en Informatique - Financement INRIA CORDI 2008 - 2011 Universite de Nice Sophia Antipolis Nice, France Master 2 Recherche Informatique PMLT 2008 Mention bien - Major

• combinatorial optimisation
• etudiante en master informatique
• references enseignement
• probleme du perceptron
• modeles paralleles des metaheuristiques pour resoudre des problemes d'optimisation
• gpu
• international conference
• conference
• activites de recherche

Sujets

• Recherche opérationnelle
• Nouvelles technologies
• Leoncini

Informations

• Publié par: roren
• Nombre de lectures: 89
• Langue: English

Extrait

Silvio Micali Ford Professor of Engineering Computer Science and Artificial Intelligence Laboratory MIT Curriculum Vitae 2B 15 January 2011 Contact Information 4B  Stata Center, Room G644, 32 Vassar Street, Cambridge, MA 02139 5B 617 253 5949 [e-mail] Personal Data  Born in Palermo, Italy, October 13, 1954. U.S. citizen. Education 11 B  Laurea (cum laude) in Mathematics, University of Rome, March 1978  Ph.D. in Computer Science, University of California Berkeley, December 1983 Scientific Interests  Cryptography  Secure Protocols  PseudoRandom Number Generation  Proof Systems  Distributed Computation  Zero Knowledge  Mechanism Design

Selected Awards

Gödel Prize (in Theoretical Computer Science)

RSA Prize (in Cryptography)

Member, National Academy of Sciences

Member, National Academy of Engineering

Member, American Academy of Arts and Sciences

Chair Professor, Tsinghua University

Rademacher Lecturer, University of Pennsylvania

Distinguished Alumnus Award, Computer Science and Engineering, UC Berkeley

Academic Appointments

Institution Position Period

MIT FullProfessor 1991 MIT Tenured Associate Professor 198891 MIT Associate Professor 19861988 MIT Assistant Professor 198386 University of Toronto Postdoctoral Fellow 198283

Doctoral Students

Dr. Paul Valiant, NSF Postdoctoral Fellow, UC Berkeley (PhD June 2008)

Prof. Rafael Pass,Cornell University(PhD. June 2006)

Dr. Matt Lepinski,BBN Technologies(PhD. June 2006)

Prof. Chris Peikert,GeorgiaTech (PhD. June 2006)

Prof. Abhi Shelat ,University of Virginia(PhD. December 2005)

Prof. Moses Liskov,William and Mary(PhD. June 2004)

Prof. Leo Reyzin,Boston University(PhD. June 2001)

Dr. Rosario Gennaro,IBM,(PhD. June 1996)

Dr. Halevi, Shai,IBM,(PhD. June 1997)

Dr. Ray Sidney (PhD. June 199)

Prof. Rafail Ostrovsky,University of California—Los Angeles(PhD.June 1992)

Prof. Mihir Bellare,University of California—Sand Diego(PhD.September 1991)

Prof. Phil Rogaway,University of CaliforniaDavis(PhD.June 1991)

Prof. Bonnie Berger,Massachusetts Institute of Technology (PhD.May 1990)

Prof. Claude Crepeau,University of Montreal (PhD. February 1990)

Dr. Pesech Feldman 1988

Dr. Alon Rosen

Dr. Tal Rabin

Dr. Oded Goldreich

PostDoctoral Fellows Hosted

Books

Randomness and Computation.S. Micali Editor, 5th volume of the series "Advances in Computing Research", JAI Press, December, 1989

Papers JOURNALS 1.Minimal forms in ACalculus computations Boehm C. and Micali S. Journal of Symbolic Logic, 45, March 1980, pp. 165171 2.Two way deterministic finite automata are exponentially more succinct than sweeping automata Micali S. Information Processing Letters, 12 n. 2, April 13, 1981, pp. 103105 3.Probabilistic Encryption, Goldwasser S. and Micali S. Journal of Computer and System Sciences, 28 n. 2, April 1984, pp 270299 4.How to generate Cryptographically Strong Sequences of PseudoRandom Bits Blum M. and Micali S. SlAM Journal on Computing, 13 no.4, November 1984, pp. 850864 5.Priority Queues with variable priority and an O(EVlogV) Algorithm for finding a maximum weighted matching in general graphs by Galil Z., Micali S. and Gabow H. SlAM Journal on Computing, 15 n. 1, February 1986, pp. 120130 6.How to Construct Random Functions Goldreich 0., Goldwasser So and Micali S. Journal of ACM, 33 n. 4, October 1986, pp. 792807 7.The Notion of Security for Probabilistic Cryptosystems by Micali S., Rackoff C. and Sloan B. SlAM Journal on Computing, 17 n. 2, April 1988, pp. 412426 8.A Digital Signature Scheme Secure Against Adaptive ChosenMessage Attack by Goldwasser S., Micali S., and Rivest R. SIAM Journal of Computing, 17 no 2, April 1988, pp. 281308 9.The Knowledge Complexity of Interactive ProofSystems Goldwasser S., Micali S. and Rackoff C. SlAM Journalon Computing, 18n. 1, Feb. 1989, pp. 186208 10.A Fair Protocol for Signing Contracts BenOr M., Goldreich 0., Micali S. and Rivest R. IEEE Trans. on Information Theory, 36n. 1, January 1990. pp.4046 11.Proofs That Yield Nothing But their Validity, Or, All Languages in NP Have ZeroKnowledge Proofs Goldreich 0., Micali S. and Wigderson A. Journal of ACM, 38n. 3, July 1991, pp. 691729 12.Efficient, Perfect Polynomial Random Number Generators Micali S. and Schnorr C. Journal of Cryptography, 3 n. 3, September 1991, pp.157172

13.NonInteractive ZeroKnowledge Blum M., De Santis A., Micali S. and Persiano G. SlAM J. on Computing, 20, December 1991, pp. 10841118 14.How To Sign Given Any Trapdoor Function Bellare M. and Micali S. Journal of ACM, 39, January 1992, pp. 214233 15.Mechanism for the T4 Lymphopenia of AIDS Micali S. Proc. Natl. Acad. Sci. USA, Vol. 90, pp.1098210983, December 1993 16.OnLine/OffLine Digital Signatures S. Even, 0. Goldreich, and S. Micali. Journal of Cryptography, 1996, 9, pp.3567 17.A secure Protocol for the Oblivious Transfer M. Fischer, S. Micali, and C. Rackoff. Journal of Cryptography, 1996, pp. 15 18.An Optimal Probabilistic Algorithm for Synchronous Byzantine Agreement P. Feldman and S. Micali. SlAM Journal on Computing, August 1997 19.Reducibility and Completeness In MultiParty Private Computations J. Kilian, E. Kushilevitz, S. Micali, and R. Ostrovsky SlAM J. on Computing, Vol. 29 Number 4 pp. 11891208 ,2000 20.Computationally Sound Proofs Silvio Micali SICOMP Vol. 30, Number 4, pp.12531298, 2000 21.Improving the Exact Security of Digital Signature Schemes S. Micali and L. Reyzin  Journal of Cryptography, 15, Winter 2002 22.Perfect Implementation S. Izmalkov, M. Lepinski, and S. Micali  Games and Economic Behavior, vol. 71, Issue 1, January 2011, pp. 121140 23.Optimal Error Correction for Computationally Bounded Noise S. Micali, C. Peikert, M. Sudan, and D. Wilson  IEEE Transactions on Information Theory, vol. 56, No. 11, November 2010, pp. 56735680 24.The Order Independence of Iterated Dominance in Extensive Games J. Chen and S. Micali, C.  Theoretical Economics, to appear, 2012

25.Collusive DominantStrategy Truthfulness J. Chen and S. Micali  Journal of Economic Theory, to appear, 2012

REFEREED CONFERENCES AND WORKSHOPS 26.Residually complete strategies and cofinal strategies Micali S. Lambda Calcul et semantique formel des languages de programmation, Actes de la 6Eme Ecole de Printemps d'Informatique Theorique, La Chatre 1978 1/2 27.An0( E V) Algorithm for findingamaximum matching in general graphs Micali S. and Vazirani V. Proc. 21st ann. IEEE Symp. on Foundations of Computer Science, Oct. 1980, pp 1728 28.Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Informa tion Goldwasser S. and Micali S. Proc. 14th ann. IEEE Symp. on Theory of Computing, San Francisco, CA, May 1982, pp.365377 29.Why and how to establish a private code Goldwasser S., Micali S. and Tong P. Proc. 23rd ann. IEEE Symp. on Foundations of Computer Science, Chicago, Illinois, Nov. 1982, pp. 134144 30.Strong Signature Schemes Goldwasser S., Micali S. and Yao A. Proc. 15th ACM Symp. on Theory of Computing, Boston, Massachusetts, May 1983, pp. 431439 31.How to simultaneously exchange a secret bit by flipping a symmetricallybiased coin Luby M., Micali S. and Rackoff C. Proc. 24th ann. IEEE Symp. on Foundations of Computer Science, November 1983, Arizona, pp.1122 32.On the cryptographic applications of polyrandom function Goldreich 0., Golwasser S. and Micali S. Proc. of Crypto84, ed. B. Blakely, Springer Verlag, Lecture Notes in Computer Science, vol. 196, pp. 276288 33.Verifiable secret sharing and achieving simultaneity in the presence of faults Chor B., Goldwasser S., Micali S. and Awerbuch B. Proc. 26th ann. IEEE Symp. on Foundations of Computer Science, Portland, Oregon, Oct. 1985, pp. 383395 34.Byzantine agreement in constant expected time (and trusting no one),by Feldman P. and Micali S. Proc. 26th ann. IEEE Symp. on Foundations of Computer Science, Portland, Oregon, Oct, 1985, pp. 267276 35.Dynamic Deadlock Resolution Protocols Awerbuch B. and Micali S. Proc. 26th ann. IEEE Symp. on Foundations of Computer Science, Toronto, Canada, Oct. 1986, pp. 196207 36.Proofs That Yield Nothing But Their Validity and a Metodology of Cryptographic Protocol Design Goldreich 0., Micali S. and Wigderson A. Proc. 26th ann. IEEE Symp. on Foundations of Computer Science, Toronto, Canada, Oct. 1986, pp. 174186 37.How to Play any Mental Game or A completeness Theorem for Distributed Protocols with Honest Majority Goldreich 0., Micali S. and Wigderson A. Proc. 19th ann. Symp. on Theory of Computing, New York, NY, May 1987, pp. 218229

38.NonInteractive ZeroKnowledge And Its Applications Blum M., Feldman P. and Micali S. Proc. 20th ann. Symp. on Theory of Computing, Chicago, Ill, May 1988, pp. 103112 39.Optimal Algorithms For Byzantine Agreement, Feldman P. and Micali S. Proc. 20th ann. Symp. on Theory of Computing, Chicago, Ill, May 1988, pp. 3242 40.Everything provable is provable in zero knowledge BenOr M., Goldreich 0., Goldwasser S., Hastad J., Kilian J., Micali S. and Rogaway P. Proc. Crypto 88, Santa Barbara, CA, August 1988, pp. 3756 41.Super efficient, perfect pseudorandom number generators Micali S. and Schnorr C. Proc. Crypto 88, Santa Barbara, CA, August 1988, pp. 173198

42.An Improvement of the FiatShamir Signature Identification and Signature Scheme Micali S. and Shamir A. Proc. Crypto 88, Santa Barbara, CA, August 1988, pp. 244247 43.NonInteractive zeroknowledge proof systems with auxiliary language De Santis A., Micali S. and Persiano G. Proc. Crypto 88, Santa Barbara, CA, August 1988, pp. 269282 44.Perfect PseudoRandom Generation Micali S. Proc. IFIP 11th World Computer Congress, San Francisco, CA, August 1989. pp. 121126 45.Minimum Resource ZeroKnowledge Proofs Kilian J., Micali S. and Ostrovsky R. Proc. 30th Ann. Symp. on Foundations of Comp. Sci., Research Triangle Park, North Carolina, Oct. 1989, pp. 474479 46.Perfect Zero Knowledge in Constant Rounds Bellare M., Micali S. and Ostrovsky R. Proc. 22nd Ann. Symp. on Theory of Computing, Baltimore, Maryland, May 1990, pp. 482493 47.The True Complexity of Statistical Zero Knowledge Bellare M., Micali S. and Ostrovsky R. Proc. 22nd Ann. Symp. on Theory of Computing, Baltimore, Maryland, May 1990, pp. 494502 48.The Round Complexity of Secure Protocols,by Beaver D., Micali S. and Rogaway P. Proc. 22nd Ann. Symp. on Theory of Computing, Baltimore, Maryland, May 1990, pp. 503513 49.Collective Coin Flipping Without Assumptions nor Broadcasting Micali S. and Rabin T. Advances in Cryptology: Proc. Crypto 90, Lecture Notes in Computer Science, Vol. 537, Springer Verlag, 1990, pp. 253266 50.Secure Computation

S. Micali and P. Rogaway Advances in Cryptology: Proc. Crypto 91, Lecture Notes in Computer Science, Vol. 576, Springer Verlag, 1992, pp. 392404 51.Fair PublicKey Cryptosystems S. Micali Proc. Crypto 92, Santa Barbara, CA, August 1992, pp. 311 324

52.New Approaches to SecretKey Agreement T. Leighton and S. Micali Proc. Crypto 93, Santa Barbara, CA, August 1993, pp. 38.138.11 53.A Simple Method for Generating and Sharing PseudoRandom Functions, with Applications to ClipperLike Key Escrow Systems S. Micali and R. Sidney, Proc. Crypto 95, Santa Barbara, CA, August 1995 54.Practical and ProvablySecure Commitment Schemes from CollisionFree Hashing S. Halevi and S. Micali Proc. Crypto 96, Santa Barbara, CA, August 1996 55.Efficient Certificate Revocation S. Micali Proc. RSA97, San Francisco, CA, January 1997 56.Certified EMail with Invisible Post Offices S. Micali Proc. RSA97, San Francisco, CA, January 1997 57.Computationally Sound Checkers For NPcomplete Problems S. Micali Mathematical Foundations of Computer Science 98, Prague, August 1998 58.Computationally Private Information Retrieval C. Cachin, S. Micali, and M. Stadler Proc. Eurocrypt 99, Prague, Check Republic, May 1999 59.Lower Bounds for Oblivious Transfer Reductions Y. Dodis and S. Micali Proc. Eurocrypt 99, Prague, Check Republic, May 1999 60.The AllOrNothing Nature of Secure Computation Beimel A., T. Malkin and S. Micali Proc. Crypto 99, Santa Barbara, CA, August 1999 61.Verifiable Random Functions S. Micali, M. Rabin and S. Vadhan Proc.40thSymp. on Foundations of Computer Science, New York, Oct 1999 62.Publickey Encryption in a MultiUser Setting: Security Proofs and Improvementsby M. Bellare, A. Boldyreva, and S. Micali Eurocrypt 2000, Bruges, Belgium, May 2000 63.Resettable Zero Knowledge C. Canetti, 0. Goldreich, S. Goldwasser, and S. Micali

32nd Ann al Symposium On Theory of Computing, Portland, Oregon, May 2000 64.Parallel Reducibility Y. Dodis and S. Micali CRYPTO 2000, Santa Barbara, CA, August 2000 65.Amortized ECash M. Liskov S. Micali Financial Cryptograohy 2001, Anguilla, BWI, February 2001 66.MinRound Resettable Zero Knowledge S. Micali and L. Reyzin Eurocrypt 2001, May 2001 67.Resettable Identification M. Bellare, M. Fischlin, S. Goldwasser, and S. Micali Eurocrypt 2001, May 2001 68.Soundness in the Public Key Model S. Micali and Leo Reyzin CRYPTO 2001, August 2001 69.AccountableSubgroup Multisignatures S. Micali, K. Ohta, and L. Reyzin 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, November 2001 70.Mutually Independent Commitment M. Liscov, A. Lysyanskaya, S. Micali, L. Reyzin and A. Smith ASIACRYPT 2001 71. Fractal Merkle Tree Representation and Traversal M. Jacobson, T. Leighton, S. Micali, and M. Szydlo RSA Conference 2003, San Francisco, CA, April 2003 72.Micropayments Revisited S. Micali and R. Rivest RSA Conference 2002, San Jose, CA, 2002 73. Plaintext Awareness via Key Registration  J. Herzog, M. Liscov and S. Micali  CRYPTO 2003, Santa Barbara, CA, August 2003 74.Simple and Fast Optimistic Protocols for Fair Electronic Exchange S. Micali Principles of Distributed Computing Conference 2003, Needham, MA 2003 75. NOVOMODO: Scalable Certificate Validation and Simplified PKI Management S. Micali  Proceedings 1st Annual PKI Research Workshop, NISTIR 7059, October 2003 76. ZeroKnowledge Sets.  S. Micali, M. Rabin and J. Kilian  Foundations of Computer Science Conference, Cambridge, MA, October 2003 77.Tamper Proof Security: Theoretical Foundations for Security Against Hardware Tampering R. Gennaro, A. Lysyanskaya, T. Malkin, S. Micali and T. Rabin 1st Theory of Cryptography Conference, Cambridge, Mass, February 2004 78. ZeroKnowledge Sets S. Micali, M. Rabin and J. Kilian

 Foundations of Computer Science Conference, Cambridge, MA, October 2003 79. Physically Observable Cryptography S. Micali and L. Reyzin  1st Theory of Cryptography Conference, Cambridge, Mass, February 2004 80. Sequential Aggregate Signatures from Trapdoor Permutations A. Lyssyanskaya, S. Micali, L. Reyzin, and H. Shacham  EUROPRYPT 2004, Interlaken, Switzerland, May 2004 81. Completely Fair SFE and CoalitionStable Cheap Talk M. Lepinski, S. Micali, C. Peikert, and A. Shelat  PODC 2004, Canada, July 2004

82. Fair Zero Knowledge M. Lepinski, S. Micali, and A. Shelat  Theory of Cryptography Conference, Cambridge, MA, February 2005

83. Optimal Error Correction Against Computationally Bounded Noise S. Micali, C. Peikert, M. Sudan, and D. Wilson  Theory of Cryptography Conference, Cambridge, MA, February 2005 84. CollusionFree Protocols M. Lepinski, S. Micali, and A. Shelat  Symposium on Theory of Computing, Baltimore, ME, May 2005

85. Rational Secure Computation and Ideal Mechanism Design S. Izmalkov,M. Lepinski and S. Micali Foundation of Computer Science Conference, Pittsburgh, PA, October 2005 86. Local Zero Knowledge S. Micali and R. Pass  Symposium on Theory of Computing, Baltimore, ME, May 2006

87. Independent ZeroKnowledge Sets R. Gennaro andS. Micali rd  33 International Colloquium on Automata Languages and Programming, Venice, Italy, July 2006

88. InputIndistinguishable Computation S. Micali, R. Pass, and A. Rosen  Foundation of Computer Science Conference, Berkeley, CA, October 2006 89. OnlineUntransferable Signatures M. Liskov andS. Micali  PKC2008 90. Verifiably Secure Devices (and Correlated Equilibrium) S. Izmalkov, M. Lepinski, and S. Micali  Theory of Cryptography Conference, New York, February 2008

91. Truly Rational Secret Sharing S. Micali and abhi shelat  Theory of Cryptography Conference, San Francisco, March 2009 92. A New Approach to Auctions and Mechanism Design J. Chen andS. Micali Symposium on Theory of Computing, Washington, DC, May/June 2009

93. Guaranteeing Perfect Revenue From Perfectly Knowledgeable Players J. Chen, A. Hassidim, and S. Micali Innovations in Computer Science, Beijing, China, January 2010 94. Leveraging Collusion in Combinatorial Auctions J. Chen, S. Micali, and P. Valiant Innovations in Computer Science, Beijing, China, January 2010 95. Concrete And Perfect Implementation of Arbitrary Mechanisms (A quick summary of joint work with Sergei Izmalkov and Matt Lepinski) S. Micali BQGT’10 May 1416, 2010 Newport Beach, California USA 96. Safe Rationalizability and Mechanism Design J. Chen and S. Micali nd 2 Brazilian Workshop on Game Theory, July 29August 4, 2010, Sao Paulo, Brasil 97. The Conservative Model of Incomplete Information and The SecondKnowledge Mechanism J. Chen and S. Micali nd 2 Brazilian Workshop on Game Theory, July 29August 4, 2010, Sao Paulo, Brasil 98. Mechanism Design with SetTheoretic Belief J. Chen, and S. Micali Foundation of Computer Science Conference (FOCS), 2011 99. Crowdsourced Bayesian Auctions P. Azar, J. Chen, and S. Micali Innovations in Theoretical Computer Science, Jan 2012 (Also: North American Summer Meeting of the Econometric Society, St. Luis, June 2011) 100.Knightian Auctions A. Chiesa, S. Micali, and Z. Zhu Innovations in Theoretical Computer Science, 2012

1.

2.

3.

4.

5.

Lectures 8B

"Residually complete strategies and cofinal strategies"

Ecole d’Informatique Theorique, La Chatre, 1978

"Twoway automata versus sweeping automata"

University of Rome, July 1980

"An0{v'V .E) algorithm for maximum matching in general graphs"

Foundations of Computer Science Conference, Syracuse, October 1980.

University of California Berkeley, November 1980

University of Toronto, Spring 1982

"Coin Flipping by telephone"

7.

31. Harvard University, Spring 1983

Stanford University, Spring 1982

14. Cornell University, Spring 1982

6.

8.

15. Columbia University, Spring 1982

"Probabilistic Digital Signatures"

20. American Mathematical Society Conference on Probabilistic Methods, June 1982

10. Pennsylvania State University, Spring 1982

Massachusetts Institute of Technology, LOS, December 1981

26. Massachusetts Institute of Technology Applied Mathematics, Spring 1983

24. Carnegie Mellon University, Spring 1983

12. IBM Research YorkTown Heights, Spring 1982

11. University of Toronto, Spring 1982

22. 1983 Theory Day, Columbia University, Spring 1983

25. University of Waterloo, Spring 1983

University of California Berkeley, December 1981

17. Xerox Park, Spring 1982

18. University of Southern California, Spring 1982

19. University of Rome, July 1982

"How to generate cryptographically strong sequences of pseudorandom bits"

29. Mathematisch centrum, Amsterdam, November 85

28. University of Pisa, July 1983

21. Foundations of Computer Science Conference, Chicago, November 1982

16. New York University, Spring 1982

23. Yale University, Spring 1983

13. BellLaboratories, Spring 1982

Brown University, Spring 1982

9.

"Probabilistic Encryption"

30. University of Toronto, Fall 1982

27. University of New York at Buffalo, Spring 1983