Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation | IEEE Conference Publication | IEEE Xplore