AURA: a programming language for authorization and audit.

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic

Browse the full ICFP paper archive.