Search

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:

Jiao, Yu

Title:

Mobile Agent-Based Energy-Efficient and Secure Global Information Systems

Graduate Program:

Computer Science and Engineering

Keywords:

power management
information retrieval
mobile agents
mobile computing
security

File:

Download ThesisMaster.pdf

Committee Members:

Ali R Hurson, Committee Chair/Co-Chair
Guohong Cao, Committee Member
John Joseph Hannan, Committee Member
Vijaykrishnan Narayanan, Committee Member
Kultegin Aydin, 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