ConferencePaper ISI SCOPUS
ACM SIGPLAN NOTICES  (2016)

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

Lin A.W.; Barceló P.

Más información

Título según WOS: String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS
Título según SCOPUS: String solving with word equations and transducers: Towards a logic for analysing mutation XSS
Título de la Revista: ACM SIGPLAN NOTICES
Volumen: 51
Número: 1
Editorial: ASSOC COMPUTING MACHINERY
Fecha de publicación: 2016
Página de inicio: 123
Página final: 136
Idioma: English
DOI:

10.1145/2837614.2837641
Notas: ISI, SCOPUS