software system / software sorts / dependent type systems / list search / secure systems / computer systems / particular server / jukebox server / music server / trusted computing base / streaming music server / related type systems / /
OperatingSystem
UNIX / /
Organization
University of Pennsylvania / /
Person
Peyton Jones / P . Intuitively / Karl Mazurak Jianzhou Zhao Steve / Limin Jia Jeffrey / /
Position
prototype AURA interpreter / Coq proof assistant / auditor / calculus and related systems General / interpreter / programmer / /
Product
constraints / /
ProgrammingLanguage
Lambda calculus / Dependent ML / /
ProvinceOrState
British Columbia / Victoria / /
Technology
encryption / cellular telephone / cryptography / UNIX / API / private key / operating system / digital signature / Operating Systems / /
AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak