Notice: RISEC has been reformed and merged into new Information Technology Research Institute on April 1, 2015.

Research Projects

AIST > RISEC > Projects

Research Projects

Secure Services

  • Secure Authentication Methods on the Internet
  • Countermeasures for Human Errors
  • Error Correcting Codes - mathematics for information reliability

Control System and Hardware Security

Development of Secure Software

  • Designing secure software
    • Calot (FOT): Test design assistance using feature analysis
    • SENS: Design language for system tests
    • CONPASU: Analysis and assistance tool for concurrent program designs
    • Modbat: A model-based tester
  • Implementing secure software
    • Automatic generation and test for communication protocol implementations
  • Enforcing secure software execution
    • Software security using programming language-based techniques (Fail-Safe C etc.)
    • Virtualization techniques for software reliability

Innovative Security Technologies for the Next Generation

  • More reliable security proofs for cryptographic technologies
  • Design and analysis of highly functional cryptographic primitives
  • Privacy-preserving database search

Major Joint-Research Partners

  • Alpha Systems Inc.
  • STRL, Japan Broadcasting Corporation (NHK)
  • LE Tech Co., Ltd.
  • Okayama University
  • OMRON Corporation
  • Keio University
  • Kobe University
  • Science Park Corporation
  • Computational Biology Research Center, Advanced Industrial Science and Technology
  • Sony Corpporation
  • Dai Nippon Printing Co., Ltd.
  • Chiba University
  • Chuo University
  • The University of Electro-communications
  • ECSEC (Electronic Commerce Security Technology Research Association)
  • TOKAIRIKA, Co., Ltd.
  • Tokyo Electron Device Ltd.
  • The University of Tokyo
  • Tokyo University of Agriculture and Technology
  • TOSHIBA CORPORATION
  • Toshiba Semiconductor and Storage Company
  • Tohoku University
  • West Japan Railway Company
  • Panasonic Corporation
  • National Institute of Standards and Technology, United States of America
  • Mitsubishi Electric Corporation
  • Yahoo! Japan, Inc.
  • Ritsumeikan University
  • Renesas Electronics Corporation

Major Recent External Research Fundings

  • Ministry of Economics, Trade and Industry
    • 基準認証研究開発委託事業
    • 次世代高信頼・省エネ型IT基盤技術開発・実証事業(再委託)
    • Supporting Industry Project (戦略的基盤技術高度化支援事業)
  • Ministry of Internal Affairs and Communications
    • SCOPE (Strategic Information and Communications R&D Promotion Programme)
  • National Institute of Information and Communications Technology
  • Japan Science and Technology Agency
    • A-STEP: Adaptive and Seamless Technology transfer Program through target-driven R&D
    • SICORP: Strategic International Collaborative Research Program
      • Japan-India
      • Japan-France
    • CREST (Core Research of Evolutional Science and Technology)

Past Projects and Research Theme

Please also refer to RCIS and CVS research projects pages, too.