Dynamic vs. static flow-sensitive security analysis. (2010)

by A Russo, A Sabelfeld
Venue:In Proc. IEEE Computer Security Foundations Symposium,