Search

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

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:

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