Challenges for information-flow security (2004)

by Steve Zdancewic
Venue:In Proc. Programming Language Interference and Dependence (PLID
Citations:30 - 0 self