Showing cs.CRShow all
2 papers · 1 filter
cs.CR2026
Towards Tackling Application Logic Flaws through Autonomous Formal-Logic Modeling and Automated Reasoning
Yiwei Fang, Yichen Liu, Ze Jin +3
Logic flaws pose significant challenges in the design and implementation of modern, semantically rich systems and applications, impacting security, privacy, and trust. These flaws…
cs.CR2026
Regular Expression Denial of Service Induced by Backreferences
Yichen Liu, Berk Çakar, Aman Agrawal +3
This paper presents the first systematic study of denial-of-service vulnerabilities in Regular Expressions with Backreferences (REwB). We introduce the Two-Phase Memory Automaton (…