Search

Author:

Octeau, Damien

Title:

Automated Certification of Android Applications

Graduate Program:

Computer Science and Engineering

Keywords:

Soot
ded
retargeting
certification
decompilation
Android
static analysis

File:

Download ms.pdf

Committee Members:

Patrick Drew Mcdaniel, Thesis Advisor/Co-Advisor
Patrick Drew Mcdaniel, Thesis Advisor/Co-Advisor

Author:

Smith, Henry Francis

Title:

Designing Processing in Memory Architectures via Static Analysis of Real Programs

Graduate Program:

Computer Science and Engineering

Keywords:

computer architecture
processing in memory
static analysis

File:

Download master-gradschool.pdf

Committee Members:

Vijaykrishnan Narayanan, Thesis Advisor/Co-Advisor

Author:

Brotzman-Smith, Robert

Title:

Detecting and Mitigating Cache-Based Side-Channels

Graduate Program:

Computer Science and Engineering

Keywords:

side-channel
cache
static analysis
mitigation

File:

Download Robert_Brotzman_Dissertation.pdf

Committee Members:

Gang Tan, Dissertation Advisor/Co-Advisor
Gang Tan, Committee Chair/Co-Chair
Mahmut Taylan Kandemir, Committee Member
Dinghao Wu, Outside Member
Danfeng Zhang, Committee Chair/Co-Chair
Danfeng Zhang, Dissertation Advisor/Co-Advisor
Chitaranjan Das, Program Head/Chair

Author:

Lin, Zhenpeng

Title:

Increasing Exploitability via Elastic Kernel Objects

Graduate Program:

Informatics

Keywords:

kernel
exploitation
static analysis

File:

Download Master_Thesis.pdf

Committee Members:

Xinyu Xing, Committee Member
Linhai Song, Thesis Advisor/Co-Advisor
Mary Beth Rosson, Program Head/Chair
Ting Wang, Committee Member