Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation. - Xinyi Wang; Cen Zhang; Yeting Li; Zhiwu Xu 001; Shuailin Huang; Yi Liu 069; Yican Yao; Yang Xiao 011; Yanyan Zou; Yang Liu 003; Wei Huo (SP, 2023)