Evidence-Based Audit. - Jeffrey A. Vaughan; Limin Jia 001; Karl Mazurak; Steve Zdancewic (CSF, 2008)

AURA: a programming language for authorization and audit. - Limin Jia 001; Jeffrey A. Vaughan; Karl Mazurak; Jianzhou Zhao; Luke Zarko; Joseph Schorr; Steve Zdancewic (ICFP, 2008)

Lolliproc: to concurrency from classical linear logic via curry-howard and control. - Karl Mazurak; Steve Zdancewic (ICFP, 2010)

Lightweight linear types in system fdegree. - Karl Mazurak; Jianzhou Zhao; Steve Zdancewic (TLDI, 2010)