eTD Explore

Open Access

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

Open Access

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

Open Access

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

Open Access

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

Open Access

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

Open Access

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

Search