Search

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