Secure Information Flow via Linear Continuations (2002)

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