1. Secure Systems Development Using Security-Typed Languages Open Access Author: Hicks, Boniface Patrick Title: Secure Systems Development Using Security-Typed Languages Graduate Program: Computer Science and Engineering Keywords: language-based securityJifsecurity-typed languageinformation flowsecuritysecure software engineering File: Download e-thesis.pdf Committee Members: Patrick Drew Mcdaniel, Committee Chair/Co-ChairJohn Joseph Hannan, Committee MemberSencun Zhu, Committee MemberTrent Ray Jaeger, Committee MemberStephen George Simpson, Committee MemberMichael Johannes Hicks, Committee Member