Back to Results
First PageMeta Content
Data types / Software bug / Linux kernel / Kernel / Linux / Pointer / Programming language / Type inference / Computing / Software / Type theory


Verifying Security Properties using Type-Qualifier Inference by Robert Timothy Johnson B.S. (University of North Carolina at Greensboro[removed]A dissertation submitted in partial satisfaction
Add to Reading List

Document Date: 2015-01-21 19:48:40

Open Document

File Size: 679,25 KB

Share Result on Facebook

Company

Computer Sciences / /

Facility

Computer Sciences University of California / University of North Carolina / UNIVERSITY OF CALIFORNIA / /

IndustryTerm

static security analysis tools / web servers / lightweight software verification technique / type-qualifier inference tool / web browsers / reachability algorithm / verification tool / /

OperatingSystem

Linux / /

Organization

Date Date Date University / University of North Carolina at Greensboro / BERKELEY Committee / Professor David Wagner Dissertation Committee / UNIVERSITY OF CALIFORNIA / BERKELEY / GRADUATE DIVISION / /

Person

Qualifier Inference / Robert Timothy Johnson / Jeff Foster / Doug Tygar Professor Lior Pachter / Robert Timothy Johnson Abstract Verifying / David Wagner / Berkeley Professor David Wagner / Constraint Graph / Lior Pachter Fall / /

/

Position

Professor / Qualifier / MP / Chair / /

ProgrammingLanguage

C / /

ProvinceOrState

North Carolina / California / /

Technology

Linux / 41 4.4 CP reachability algorithm / 53 4.9 Qualifier Constraint Graph Compaction Algorithm / virtual memory / Operating system / /

SocialTag