作者位次 #7/12CCS 2026Oral· Computer & Communications Security
Repairing ReDoS by Construction: Certified Algebraic Derivation for Language-Preserving Regex Transformation
Yecheng Sun · Yeting Li · Huina Chao · Zhiwu Xu · Lixiao Zheng · Qin Mai · Mengcheng Shi · Xinyi Wang · Hengyu Yang · Yang Xiao · Feng Li · Wei Huo