Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities

Richard M. Chang
Guofei Jiang
Sriram Sankaranarayanan
Vitaly Shmatikov
CSF(2009), pp. 186-199

Abstract

Research Areas