Sciweavers

CC
2003
Springer
104views System Software» more  CC 2003»
14 years 5 months ago
The Interprocedural Express-Lane Transformation
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
David Melski, Thomas W. Reps
CSFW
2007
IEEE
14 years 6 months ago
Creating Vulnerability Signatures Using Weakest Preconditions
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong...