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:

Traynor, Patrick Gerard

Title:

Characterizing the Impact if Rigidity on the Security of Cellular Telecommunications Networks

Graduate Program:

Computer Science and Engineering

Keywords:

sms
security
cellular networks

File:

Download dissertation.pdf

Committee Members:

Thomas La Porta, Committee Chair/Co-Chair
Patrick Drew Mcdaniel, Committee Chair/Co-Chair
Trent Ray Jaeger, Committee Member
Guohong Cao, Committee Member
Aylin Yener, Committee Member