Search

Start Over Committee Member Chitaranjan Das Committee Member Danfeng Zhang

2. Quantitative Privilege Separation with Pointer Supports

open_access
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

12. Automated Programming Frameworks for Analyzing Differential Privacy

open_access
Open Access
Author:
Wang, Yuxin
Title:
Automated Programming Frameworks for Analyzing Differential Privacy
Graduate Program:
Computer Science and Engineering (PHD)
Keywords:
differential privacy
program analysis
programming languages
File:
Download main.pdf
Committee Members:
G. Tan, Major Field Member
Danfeng Zhang, Co-Chair & Dissertation Advisor
Daniel Kifer, Co-Chair & Dissertation Advisor
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair

13. Detecting and Mitigating Cache-Based Side-Channels

open_access
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

14. A Tamper Analysis and Endorsement Approach for Linux Security Modules

open_access
Open Access
Author:
Capobianco, Frank
Title:
A Tamper Analysis and Endorsement Approach for Linux Security Modules
Graduate Program:
Computer Science and Engineering (MS)
Keywords:
Linux Security Modules
Reference Monitor
Tamper Analysis
Operating System Security
File:
Download capobianco_thesis_final.pdf
Committee Members:
Trent Ray Jaeger, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

15. Violation Detection, Extra Information Release and Secure Implementation for Differentially Private Mechanisms

open_access
Open Access
Author:
Ding, Ding
Title:
Violation Detection, Extra Information Release and Secure Implementation for Differentially Private Mechanisms
Graduate Program:
Computer Science and Engineering (PHD)
Keywords:
differential privacy
counterexample detection
privacy mechanism
floating-point vulnerability
File:
Download PhD_Dissertation_Ding.pdf
Committee Members:
G. Tan, Major Field Member
Aleksandra Slavkovic, Outside Unit & Field Member
Danfeng Zhang, Co-Chair & Dissertation Advisor
Daniel Kifer, Co-Chair & Dissertation Advisor
Chitaranjan Das, Program Head/Chair

16. Practical Static Binary Analysis with Block Memory Model

open_access
Open Access
Author:
Kim, Sun Hyoung
Title:
Practical Static Binary Analysis with Block Memory Model
Graduate Program:
Computer Science and Engineering (PHD)
Keywords:
Static Analysis
Binary Analysis
Control Flow Graph
Pointer Analysis
Type Inference
File:
Download Sun_Hyoung_Kim_thesis_final.pdf
Committee Members:
G. Tan, Chair & Dissertation Advisor
Sencun Zhu, Major Field Member
Danfeng Zhang, Major Field Member
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair