Date: 2011/11/18 (Fri)

      Place: Collaboration Room #7 15:30 -

      Name: Tatsuaki Okamoto
          NTT Information Sharing Platform Laboratories

      Title: Security Notions of Cryptography, History and Progress

      The formal study on the security notions of cryptography started in 1980's. A typical example is the security formulation of public-key cryptography. The simulation-based formulation (paradigm) was established through the security formulation of cryptographic protocols, and the most advanced one on the paradigm is the universal composablity (UC). In this talk, I will survey the history and progress of these security notions of cryptography.