String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS

Lin, A. W., & Barcelo, P. (2015). String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). arXiv:1511.01633 [cs]. Retrieved from http://arxiv.org/abs/1511.01633