Search

Start Over Graduate Program Computer Science and Engineering Committee Member Patrick Drew Mcdaniel Committee Member Stephen George Simpson

1. RETROFITTING PROGRAMS FOR COMPLETE SECURITY MEDIATION

open_access
Open Access
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

2. Leveraging Emerging Disk Functionality for New Security Services

open_access
Open Access
Author:
Butler, Kevin Raymond Boyce
Title:
Leveraging Emerging Disk Functionality for New Security Services
Graduate Program:
Computer Science and Engineering
Keywords:
security
storage
operating systems
File:
Download butler-thesis.pdf
Committee Members:
Dr Patrick Mc Daniel, Dissertation Advisor/Co-Advisor
Patrick Drew Mcdaniel, Committee Chair/Co-Chair
Trent Ray Jaeger, Committee Member
Bhuvan Urgaonkar, Committee Member
Stephen George Simpson, Committee Member
Matthew Blaze, Committee Member

3. Secure Systems Development Using Security-Typed Languages

open_access
Open Access
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

4. Methods for Specifying and Resolving Security Policy Compliance Problems

open_access
Open Access
Author:
Rueda Rodriguez, Sandra Julieta
Title:
Methods for Specifying and Resolving Security Policy Compliance Problems
Graduate Program:
Computer Science and Engineering
Keywords:
Mandatory Access Controls
Policy Analysis
Systems Security
File:
Download SandraRueda-Dissertation-jul25.pdf
Committee Members:
Trent Ray Jaeger, Dissertation Advisor/Co-Advisor
Trent Ray Jaeger, Committee Chair/Co-Chair
Patrick Drew Mcdaniel, Committee Member
Adam Smith, Committee Member
Bhuvan Urgaonkar, Committee Member
Stephen George Simpson, Committee Member

6. Analysis of Inter-Component Communication in Mobile Applications Through Retargeting

open_access
Open Access
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