String solving with word equations and transducers: towards a logic for analysing mutation XSS.

Anthony Widjaja Lin, Pablo Barcel

Browse the full POPL paper archive.