Research for Foundations of Cryptography

Research

Interests

Theoretical Computer Science: Computational Cryptography, Computational Complexity, Randomness and Computation, Quantum Computation.

Now, the following three projects are running:

• Cryptographic Primitive Protocols (e.g., Public-Key Encryption, Commitment, Oblivious Transfer, Zero-Knowledge Proofs/Arguments)
• Cryptographic Pseudorandom Generators and Randomness Extractors.
• Quantum Cryptography (especially in the computational complexity sense)

For more details, see here.

Publication List
(see also DBLP or MathSciNet)

Education

• B.Eng., Computer Science, Tokyo Institute of Technology, 1990
• M.Eng., Computer Science, Tokyo Institute of Technology, 1992
• Dr.Sci., Mathematical and Computing Sciences, Tokyo Institute of Technology, 2001
  • Thesis: Pseudorandomness within Public-Key Encryption Schemes

Professional Experience

• Fujitsu Laboratories Ltd., Researcher Apr/1992-Mar/2005
  • Information Security Research and Development Project, Telecommunication Advancements Organization of Japan, Researcher Jan/1999-Sep/2000
  • ERATO Project on Quantum Computation and Information, Japan Science and Technology Agency, Researcher 2002.11-2004.9, Research Advisor Nov/2004-Sep/2005
• Saitama University, Associate Professor Apr/2005-
  • Waseda University, Adjunct Lecturer Apr/2006-Mar/2010
  • The Institute of Statistical Mathematics, Visiting Associate Professor Apr/2006-Mar/2009
  • LRI(Univ. Paris-Sud) & LIAFA(Univ. Paris 7), Visiting Researcher Mar/2010-Feb/2011
  • Tokyo Denki University, Adjunct Lecturer Sep/2011-

Professional Activities

• Symmetry (MDPI Online, Open Access Journal), editorial board member
  • Special Issue Editor: Symmetry in Theoretical Computer Science, 2011
• Mathematical Reviews (American Mathematical Society), reviewer
• International Conferences
  • IWSEC 2009, IWSEC 2012, IWSEC 2013, program committee
  • ProvSec 2010, program committee
  • TQC 2008, program committee
  • WAAC 2006, WAAC 2007, program committee
  • EQIS 2003, organizing committee, vice-chair

Memberships

• Association for Computing Machinery (ACM)
  • Special Interest Group on Algorithms and Computation Theory (SIGACT)
• European Association for Theoretical Computer Science (EATCS)
  • Japanese Chapter
• International Association for Cryptographic Research (IACR)
• IEEE
  • Computer Society
  • Information Theory Society
• Institute of Electronics, Information and Communication Engineers (IEICE)
• Information Processing Society of Japan (IPSJ)