Technical Appendix Jeffrey A. Vaughan Limin Jia Karl Mazurak Steve Zdancewic University of Pennsylvania Department / /
IndustryTerm
e.g. proof search / software components / software vulnerabilities / secure systems / trusted computing base / type systems / subsequent audit / bank server / secure software / /
OperatingSystem
Unix / /
Organization
University of Pennsylvania Department of Compture / /
Person
Abstraction / /
Position
C. An administrator / auditor / malicious programmer / /
Product
Signature Injection / /
ProgrammingLanguage
R / K / /
Technology
operating system / operating systems / firewall / ASCII / /