Search

Start Over Committee Member Patrick Drew Mcdaniel Committee Member Sencun Zhu Keyword security

1. 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

3. Evaluating Realistic Deployments of Trusted Execution Environments in the Tor Network

open_access
Open Access
Author:
King, Rachel
Title:
Evaluating Realistic Deployments of Trusted Execution Environments in the Tor Network
Graduate Program:
Computer Science and Engineering (MS)
Keywords:
trusted execution environments
security
tor network
File:
Download RachelKing_MSThesis.pdf
Committee Members:
Chitaranjan Das, Program Head/Chair
Patrick Drew Mcdaniel, Thesis Advisor/Co-Advisor
Sencun Zhu, Committee Member