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