[Naoto Yanai] Universal Vulnerabilty Testing Method Based on Cryptographic Expection Distribution for Source Code Level

Researcher

Naoto Yanai

Naoto Yanai

Osaka University
Graduate School of Information Science and Technology
Assitant Professor

Website

Outline

Vulnerabilities are important flaws of security for an information system, and the existing analysis against the vulnerabilities focuses on an individual testing including each attack. However, due to requireing a large number of verifications, such an approach brings on a downgradation of the producivity and a potential weakness depending on a lack of the executions. In this research, we formalize vulnerabilities based on expection distributions of programs from a standpoint of cryptography. Next, for constructing program codes, we propose a method for vulnerability testing to guarantee universal security which is independent of the individual testing described above.

Quick Access

Program

  • CREST
  • PRESTO
  • ACT-I
  • ERATO
  • ACT-C
  • ACCEL
  • ALCA
  • RISTEX
Finish programs
  • Pamphlet
  • ProjectDB
  • GlobalActivity
  • Diversity-EN
  • OS_Policy-EN
  • Question-E