1. Design, Implementation and Evaluation of a Symbolic N-variant Simulator Open Access Author: Guo, Pinyao Title: Design, Implementation and Evaluation of a Symbolic N-variant Simulator Graduate Program: Information Sciences and Technology Keywords: Symbolic ExecutionIntrusion Detection SystemN-Variant SystemArtificial Diversity File: Download masters_thesis_Pinyao_Guo.pdf Committee Members: Peng Liu, Thesis Advisor/Co-Advisor
2. 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
3. Analysis of Android Bluetooth Security Manager Protocol Restricted (Penn State Only) Author: Wang, Weixuan Title: Analysis of Android Bluetooth Security Manager Protocol Graduate Program: Computer Science and Engineering Keywords: BluetoothSecurity Manager ProtocolSoftware TestingSymbolic ExecutionFuzzing File: Login to Download Committee Members: Syed Rafiul Hussain, Thesis Advisor/Co-AdvisorSencun Zhu, Committee MemberChitaranjan Das, Program Head/Chair
