Secure information flow via linear continuations,” (2002)

by S Zdancewic, A C Myers
Venue:Higher-Order and Symbolic Computation,