Accession Number:

AD1095728

Title:

Model-Based Fuzzing for Finding Kernel Vulnerabilities

Descriptive Note:

Technical Report

Corporate Author:

KAIST Guseong-dong, Daejeon Korea, South

Personal Author(s):

• Cha,Sang K.

Report Date:

2020-02-23

Pagination or Media Count:

13.0

Abstract:

Descriptors:

• applied computer science
• computer science
• computing devices
• analyzers
• laptop computers
• models
• prototypes
• targets
• information operations
• web browsers
• debugging
• security
• sequences
• specifications
• vulnerability
• computer programs
• operating systems
• kernels (operating system)
• cybersecurity
• computers

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE