Secure Software System

Research Staff

  • Prof. Yutaka Oiwa

    Yutaka Oiwa

  • Assoc.Prof. AFFELDT Reynald

    AFFELDT Reynald


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

Research Area

Development process and tools for ensuring the reliability of software

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