Search

Author:

Beugin, Yohan

Title:

Building a Secure and Privacy-Preserving Smart Camera System

Graduate Program:

Computer Science and Engineering

Keywords:

smart camera system
privacy-preserving
security
secure and authenticated pairing
key tree
encryption

File:

Download Building_a_Secure_and_Privacy_Preserving_Smart_Camera_System.pdf

Committee Members:

Patrick Drew Mcdaniel, Thesis Advisor/Co-Advisor
Gang Tan, Committee Member
Syed Rafiul Hussain, Committee Member
Chitaranjan Das, Program Head/Chair

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:

Zhang, Jialun

Title:

Interval Parsing Grammar For File Format Specification

Graduate Program:

Computer Science and Engineering

Keywords:

file format
parsing language
attribute grammar
parser generator

File:

Download Interval_Parsing_Grammar_For_File_Format_Specification.pdf

Committee Members:

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

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:

Liang, Ke

Title:

Inferring Aliasing and Buffer Size Relationship in C via Graph Neural Networks

Graduate Program:

Computer Science and Engineering

Keywords:

Programming Language
Machine Learning
Link Prediction
Graph Neural Networks
Aliasing and Buffer Size Relationship
Code Analysis

File:

Download Liang_Ke_Thesis__1_.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Mehrdad Mahdavi, Committee Member
Chitaranjan Das, Program Head/Chair