Error-Bounded URL Manipulation Detection via Symbolic Analysis
A framework for a symbolic analysis which transforms URL strings into lexical features, and uses an explicit error bound is presented, which shows that the symbolic framework discriminates manipulated and legitimate URLs well and gives a statistically significant guarantee on its predictions.