Challenges for information-flow security (2004)

by Steve Zdancewic
Venue:In Proceedings of the 1st International Workshop on the Programming Language Interference and Dependence, PLID