Search

Author:

Yoon, Eunjung

Title:

Ensuring Service Integrity in Cloud Computing

Graduate Program:

Computer Science and Engineering

Keywords:

Security
Cloud Computing
Big Data
Intrusion Recovery
Computation Integrity
MapReduce

File:

Download EunjungYoon-Dissertation.pdf

Committee Members:

Peng Liu, Dissertation Advisor/Co-Advisor
Sencun Zhu, Committee Chair/Co-Chair
Gang Tan, Committee Member
Bhuvan Urgaonkar, Committee Member
Jia Li, Outside Member
Peng Liu, Committee Chair/Co-Chair
Chitaranjan Das, Program Head/Chair

Author:

Liu, Shen

Title:

Quantitative Privilege Separation with Pointer Supports

Graduate Program:

Computer Science and Engineering

Keywords:

Privilege Separation
Program Analysis
Software Security

File:

Download Quantitative_Privilege_Separation_with_Pointer_Supports.pdf

Committee Members:

Gang Tan, Dissertation Advisor/Co-Advisor
Gang Tan, Committee Chair/Co-Chair
Trent Ray Jaeger, Committee Member
Danfeng Zhang, Committee Member
Peng Liu, Outside Member
Chitaranjan Das, Program Head/Chair

Author:

Gong, Qing

Title:

Extending Parallel Datalog with Lattice

Graduate Program:

Computer Science and Engineering

Keywords:

Datalog
Lattice
Scalability
Soufflé

File:

Download Thesis___Extending_Parallel_Datalog_with_Lattice.pdf

Committee Members:

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

Author:

Steward, Michael

Title:

Global Permission Derivation Chain: Granting and Revoking Permissions Using a Distributed Ledger

Graduate Program:

Computer Science and Engineering

Keywords:

Blockchain
PKI
Public Key Infrastructure
Bitcoin
Access Control
Merkle Trees
Bloom Filters
DIL
Hyperledger
Hyperledger Fabric
Distributed Applications
MQTT
ActiveMQ
Distributed Ledger
Distributed Ledger Technology
DLT
Disconnected Intermittent Low-Bandwidth

File:

Download Steward_MS_Thesis_final.pdf

Committee Members:

Trent Ray Jaeger, Thesis Advisor/Co-Advisor
Chitaranjan Das, Program Head/Chair
Gang Tan, Committee Member

Author:

Huang, Kaiming

Title:

DataGuard: Guarded Pages for Augmenting Stack Object Protections

Graduate Program:

Computer Science and Engineering

Keywords:

Stack Protection
Guard Page

File:

Download Master_Thesis_KaimingHuang.pdf

Committee Members:

Trent Ray Jaeger, Thesis Advisor/Co-Advisor
Trent Ray Jaeger, Committee Member
Gang Tan, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Sahin, Eralp

Title:

Automatic EDL generation for Intel Software Guard Extensions

Graduate Program:

Computer Science and Engineering

Keywords:

SGX
Intel SGX
enclave
security
memory
EDL
automate

File:

Download EralpSahin-Thesis.pdf

Committee Members:

Gang Tan, Thesis Advisor/Co-Advisor
Mahmut Taylan Kandemir, Committee Member
Chitaranjan Das, Program Head/Chair

Author:

Cosson, Adrien

Title:

Intrusion Detection in IoT Networks with Kernel-Level Hardware Monitoring

Graduate Program:

Computer Science and Engineering

Keywords:

IoT
Network Security
Intrusion Detection
Linux Kernel Module

File:

Download thesis.pdf

Committee Members:

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

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