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

by A Russo, A Sabelfeld
Venue:In 23rd Computer Security Foundations Symposium (CSF