Search

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

Author:

Ma, Cong

Title:

Quantifying and Mitigating Cache Side Channel Leakage with Differential Set

Graduate Program:

Computer Science and Engineering (MS)

Keywords:

cache side-channel
cybersecurity
language-based security
program analysis

File:

Download Cong_Ma_Thesis-10.pdf

Committee Members:

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

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