Secure Software System
(National Institute of Advanced Industrial Science and Technology)

Research Staff

  • Prof. Yutaka Oiwa

    Yutaka OIWA

  • Assoc.Prof. AFFELDT Reynald

    Reynald AFFELDT


Safety and reliability of software and computer-based systems, based on both scientific theory and practical applications

Research Areas

Development process and tools for ensuring software reliability

Quality management and improvements for software testing

Analysis of software implementation/design

Software development processes

Software security assurance/certification

Fundamental theories/technologies for software safety

Semantics and design of programming languages

Software testing, model checking and formal analysis

Theoretical/practical aspects of computer security

Software protection, intrusion detection

Security protocols and cryptography