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

by A Russo, A Sabelfeld
Venue:In Proc. of the 2010 23rd IEEE Computer Security Foundations Symp., CSF ’10