Anthony Widjaja Lin, Pablo Barceló
String solving with word equations and transducers: towards a logic for analysing mutation XSS
POPL, 2016.
@inproceedings{POPL-2016-LinB,
author = "Anthony Widjaja Lin and Pablo Barceló",
booktitle = "{Proceedings of the 43rd Symposium on Principles of Programming Languages}",
doi = "10.1145/2837614.2837641",
isbn = "978-1-4503-3549-2",
pages = "123--136",
publisher = "{ACM}",
title = "{String solving with word equations and transducers: towards a logic for analysing mutation XSS}",
year = 2016,
}