eTD Explore

Open Access

Author:: Noureldeen, Ali
Title:: Security Study of Ranking Algorithms
Graduate Program:: Computer Science and Engineering
Keywords:: Ranking Algorthims
Machine Learning
File:: Download AliNoureldeen.pdf
Committee Members:: Sencun Zhu, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Open Access

Author:: Malis, Alexander
Title:: Robust Network Information Flow Control
Graduate Program:: Computer Science and Engineering
Keywords:: Pi-Calculus
Information Flow Control
Raft
Distributed Computing
Denotational Semantics
File:: Download RNPiFC.pdf
Committee Members:: Danfeng Zhang, Thesis Advisor/Co-Advisor
Sencun Zhu, Committee Member
Chitaranjan Das, Program Head/Chair

Open Access

Author:: Pauley, Eric
Title:: Static Instrumentation for Performant Binary Fuzzing
Graduate Program:: Computer Science and Engineering
Keywords:: fuzzing
security
program analysis
File:: Download MS_Thesis.pdf
Committee Members:: Patrick Drew Mcdaniel, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee 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:: Xia, Tianrou
Title:: A Network-Assisted Approach for Ransomware Detection
Graduate Program:: Computer Science and Engineering
Keywords:: Ransomware Detection
network security
ant colony optimization algorithm
File:: Download MasterThesis-TianrouXia.pdf
Committee Members:: Sencun Zhu, Thesis Advisor/Co-Advisor
Danfeng Zhang, Committee Member
Chitaranjan Das, Program Head/Chair

Open Access

Author:: Shah, Rohan
Title:: Automating feedback-generation for programming assignments via crowdsourcing
Graduate Program:: Computer Science and Engineering
Keywords:: Automating feedback generation
formative feedback
File:: Download Shah_Thesis.pdf
Committee Members:: John Joseph Hannan, 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:: 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

Search