Formalizing Sensitivity in Static Analysis for Intrusion Detection.

Henry Hanping Feng, Jonathon T. Giffin, Yong Huang, Somesh Jha, Wenke Lee, Barton P. Miller

Browse the full SP paper archive.