Search

Author:

King, David Holliday

Title:

RETROFITTING PROGRAMS FOR COMPLETE SECURITY MEDIATION

Graduate Program:

Computer Science and Engineering

Keywords:

program analysis
mediation statements

File:

Download thesis.pdf

Committee Members:

Trent Ray Jaeger, Dissertation Advisor/Co-Advisor
Trent Ray Jaeger, Committee Chair/Co-Chair
John Joseph Hannan, Committee Chair/Co-Chair
Patrick Drew Mcdaniel, Committee Member
Martin Furer, Committee Member
Piotr Berman, Committee Member
Stephen George Simpson, Committee Member

Author:

Hicks, Boniface Patrick

Title:

Secure Systems Development Using Security-Typed Languages

Graduate Program:

Computer Science and Engineering

Keywords:

language-based security
Jif
security-typed language
information flow
security
secure software engineering

File:

Download e-thesis.pdf

Committee Members:

Patrick Drew Mcdaniel, Committee Chair/Co-Chair
John Joseph Hannan, Committee Member
Sencun Zhu, Committee Member
Trent Ray Jaeger, Committee Member
Stephen George Simpson, Committee Member
Michael Johannes Hicks, Committee Member

Author:

Muthukumaran, Divya

Title:

Automating The Placement Of Authorization Hooks in Programs

Graduate Program:

Computer Science and Engineering

Keywords:

Static Analysis
Authorization

File:

Download thesis.pdf

Committee Members:

Trent Ray Jaeger, Dissertation Advisor/Co-Advisor
Patrick Drew Mcdaniel, Committee Member
Adam Smith, Committee Member
John Joseph Hannan, Committee Member
Stephen George Simpson, Committee Member

Author:

Octeau, Damien

Title:

Analysis of Inter-Component Communication in Mobile Applications Through Retargeting

Graduate Program:

Computer Science and Engineering

Keywords:

smartphone
security
application analysis
inter-component communication

File:

Download octeau-dissertation.pdf

Committee Members:

Patrick Drew Mcdaniel, Dissertation Advisor/Co-Advisor
Trent Ray Jaeger, Committee Member
John Joseph Hannan, Committee Member
Stephen George Simpson, Committee Member
Somesh Jha, Special Member