Formally Verifiable Features in Embedded Vehicular Security Systems Gyesik Lee, Hisashi Oguma, Akira Yoshioka, Rie Shigetomi, Akira Otsuka and Hideki Imai Abstract— In an overview paper called State of the Art: Embeddi

Source URL: formal.hknu.ac.kr

Efficient Oblivious Transfer Protocols Achieving a Non-Zero Rate from Any Non-Trivial Noisy Correlation Hideki Imai∗,† Kirill Morozov†

Source URL: imi.kyushu-u.ac.jp

ISIT 2006, Seattle, USA, July, 2006 Efficient Protocols Achieving the Commitment Capacity of Noisy Correlations Hideki Imai∗† , Kirill Morozov† , Anderson C. A. Nascimento‡ , Andreas Winter§ ∗

Source URL: imi.kyushu-u.ac.jp

SEED Evaluation Report CRYPTREC Evaluation Committee Chair Hideki Imai Symmetric-Key Cryptography Subcommittee Chair Toshinobu Kaneko February 28, 2002

Source URL: seed.kisa.or.kr

• Slide attack
• ICE
• Linear cryptanalysis
• Symmetric-key algorithm
• SEED
• Related-key attack
• Block ciphers
• Weak key
• Data Encryption Standard
• Cryptography
• Key schedule
• Differential cryptanalysis

Identity-Based Hierarchical Strongly Key-Insulated Encryption and Its Application Yumiko Hanaoka∗, Goichiro Hanaoka†, Junji Shikata‡and Hideki Imai§ December 12, 2005 Abstract

Source URL: eprint.iacr.org

• Semantic security
• Cipher
• RSA
• Adaptive chosen-ciphertext attack
• Boneh/Franklin scheme
• Chosen-ciphertext attack
• Key
• Advantage
• Cryptography
• ID-based encryption
• Public-key cryptography

Leakage-Resilient Authenticated Key Establishment Protocols SeongHan Shin, Kazukuni Kobara, and Hideki Imai Institute of Industrial Science, The University of Tokyo, 4-6-1 Komaba, Meguro-ku, Tokyo[removed], Japan shinsh@

Source URL: www.iacr.org

• Internet protocols
• Internet
• Internet standards
• Secure communication
• Password-authenticated key agreement
• Password
• Challenge-response authentication
• Secure Shell
• Transport Layer Security
• Cryptographic protocols
• Computing
• Data

Sequential Key Derivation Patterns for Broadcast Encryption and Key Predistribution Schemes Nuttapong Attrapadung, Kazukuni Kobara, and Hideki Imai Imai Laboratory, Institute of Industrial Science, University of Tokyo 4-

Source URL: www.iacr.org

• Broadcast encryption
• Copy protection
• Digital rights management
• ID-based encryption
• RSA
• Secret sharing
• Cipher
• Cryptography
• Public-key cryptography
• Key management

Gröbner Base Based Cryptanalysis of SHA-1 Makoto Sugita IPA Security Center Joint work with Mitsuru Kawazoe (Osaka Prefecture university) and Hideki Imai (Chuo

Source URL: csrc.nist.gov

• Algebraic geometry
• Commutative algebra
• Gröbner basis
• Invariant theory
• Forward error correction
• Decoding
• Algebra
• Mathematics
• Computer algebra

CRYPTREC Project 2001 Hideki Imai Chair, CRYPTREC Evaluation Committee Institute of Industrial Science,

Source URL: www.ipa.go.jp

• NESSIE
• Cryptographic hash function
• Symmetric-key algorithm
• Ministry of Internal Affairs and Communications
• Outline of cryptography
• Cryptography
• Cryptography standards
• CRYPTREC

Overview of CRYPTREC Activities January 28, 2002 Hideki Imai, Professor, University of Tokyo, CRYPTREC Advisory Committee Chair, CRYPTREC Evaluation Committee Chair

Source URL: www.ipa.go.jp

• NESSIE
• Block cipher
• Symmetric-key algorithm
• Cryptographic hash function
• Outline of cryptography
• Cryptography
• Cryptography standards
• CRYPTREC