AURA: A programming language for authorization and audit (2008)

by Limin Jia , Jeffrey A. Vaughan , Karl Mazurak , Jianzhou Zhao , Luke Zarko , Joseph Schorr , Steve Zdancewic
Citations:59 - 7 self