Encoding information flow in Aura.

Limin Jia, Steve Zdancewic

Browse the full PLDI paper archive.