Creating Vulnerability Signatures Using Weakest Preconditions

David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song. Creating Vulnerability Signatures Using Weakest Preconditions. In 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy. pages 311-325, IEEE Computer Society, 2007. [doi]

Authors

David Brumley

This author has not been identified. Look up 'David Brumley' in Google

Hao Wang

This author has not been identified. Look up 'Hao Wang' in Google

Somesh Jha

This author has not been identified. Look up 'Somesh Jha' in Google

Dawn Xiaodong Song

This author has not been identified. Look up 'Dawn Xiaodong Song' in Google