Secure Information Flow via Linear Continuations (2002)

by Steve Zdancewic , Andrew C. Myers
Venue:Higher Order and Symbolic Computation
Citations:34 - 6 self