Search

Author:

Muthukumaran, Divya

Title:

Automating The Placement Of Authorization Hooks in Programs

Graduate Program:

Computer Science and Engineering

Keywords:

Static Analysis
Authorization

File:

Download thesis.pdf

Committee Members:

Trent Ray Jaeger, Dissertation Advisor/Co-Advisor
Patrick Drew Mcdaniel, Committee Member
Adam Smith, Committee Member
John Joseph Hannan, Committee Member
Stephen George Simpson, Committee Member

Author:

Zheng, Qingyuan

Title:

A Symbolic Data Dependence Analysis With Abstract Interpretation

Graduate Program:

Computer Science

Keywords:

Static Analysis
Alias Analysis
Data Dependence Analysis
Theorem Prover
Abstract Interpretation

File:

Download Master_Thesis_QingyuanZheng.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Kim, Sun Hyoung

Title:

Practical Static Binary Analysis with Block Memory Model

Graduate Program:

Computer Science and Engineering (PHD)

Keywords:

Static Analysis
Binary Analysis
Control Flow Graph
Pointer Analysis
Type Inference

File:

Download Sun_Hyoung_Kim_thesis_final.pdf

Committee Members:

G. Tan, Chair & Dissertation Advisor
Sencun Zhu, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair