Search

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

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

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

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

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