Back to Results
First PageMeta Content
Software testing / Error detection and correction / Fuzz testing / Checksum / Cksum / Sum / Adler-32 / Hash function / Transmission Control Protocol / Computing / Software / System software


15 Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution TIELEI WANG and TAO WEI, Peking University GUOFEI GU, Texas A&M University WEI ZOU, Peking University
Add to Reading List

Open Document

File Size: 366,58 KB

Share Result on Facebook

City

Taint / New York / /

Company

Adobe / ACM Inc. / Google / Intel / Microsoft / /

Country

China / United States / /

Currency

USD / /

/

Facility

Texas A&M University / Penn Plaza / Peking University / Laboratory of Internet Security Technology / Institute of Computer Science / /

/

IndustryTerm

real-world applications / branches structuring algorithms / concrete solution / keyed cryptographic hash algorithms / unit testing tools / constraint-solving-based whitebox fuzzing systems / dynamic symbolic execution tools / taint-based fuzzing tool / large real-world applications / large software / software testing technique / http /

OperatingSystem

Linux / /

Organization

Peking University / National Natural Science Foundation of China / Institute of Computer Science and Technology / National Development and Reform Commission InfoSec Foundation / Laboratory of Internet Security Technology / Texas A&M University / Department of Computer Science and Engineering / Peking University / Beijing / /

/

Position

Author / tools and symbolic execution General / corresponding author / /

ProvinceOrState

New York / /

Technology

keyed cryptographic hash algorithms / Linux / branches structuring algorithms / TCP/IP / Flash / Acrobat / network protocols / cmp / /

URL

www.hex-rays.com/idapro/idadown.htm / http /

SocialTag