@inproceedings{pupo2018practical,
  author: {Angel Luis Scull Pupo and Laurent Christophe and Jens Nicolay and Coen De Roover and Elisa Gonzalez Boix},
  editor: {Christian Colombo and Martin Leucker},
  title: {Practical Information Flow Control for Web Applications},
  booktitle: {Runtime Verification - 18th International Conference, {RV} 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings},
  series: {Lecture Notes in Computer Science},
  volume: {11237},
  pages: {372--388},
  publisher: {Springer},
  year: {2018},
  url: {https://doi.org/10.1007/978-3-030-03769-7\_21},
  doi: {10.1007/978-3-030-03769-7\_21},
}