DMCA

Secure Information Flow via Linear Continuations (2002)

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