1. Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications Open Access Author: Kilmer, Eric David Title: Extending Vulnerability Discovery with Fuzzing and Symbolic Execution to Realistic Applications Graduate Program: Computer Science and Engineering Keywords: Symbolic ExecutionVulnerability DiscoveryProgram AnalysisFuzzing File: Download eric_kilmer_thesis.pdf Committee Members: Patrick McDaniel, Thesis Advisor/Co-Advisor
2. Quantitative Privilege Separation with Pointer Supports Open Access Author: Liu, Shen Title: Quantitative Privilege Separation with Pointer Supports Graduate Program: Computer Science and Engineering Keywords: Privilege SeparationProgram AnalysisSoftware Security File: Download Quantitative_Privilege_Separation_with_Pointer_Supports.pdf Committee Members: Gang Tan, Dissertation Advisor/Co-AdvisorGang Tan, Committee Chair/Co-ChairTrent Ray Jaeger, Committee MemberDanfeng Zhang, Committee MemberPeng Liu, Outside MemberChitaranjan Das, Program Head/Chair