eTD Explore

Open Access

Author:: Li, Peixuan
Title:: Towards Practical Information Flow Security
Graduate Program:: Computer Science and Engineering (PHD)
Keywords:: Information Flow
Dependent Label Inference
Dynamic Policy
File:: Download main.pdf
Committee Members:: Trent Jaeger, Major Field Member
G. Tan, Major Field Member
Danfeng Zhang, Chair & Dissertation Advisor
Dinghao Wu, Outside Unit & Field Member
Chitaranjan Das, Program Head/Chair

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

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

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

Search