Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks

Sydur Rahaman, Iulian Neamtiu, Xin Yin. Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 70-82, ACM, 2021. [doi]

@inproceedings{RahamanNY21,
  title = {Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks},
  author = {Sydur Rahaman and Iulian Neamtiu and Xin Yin},
  year = {2021},
  doi = {10.1145/3468264.3468550},
  url = {https://doi.org/10.1145/3468264.3468550},
  researchr = {https://researchr.org/publication/RahamanNY21},
  cites = {0},
  citedby = {0},
  pages = {70-82},
  booktitle = {ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021},
  editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta},
  publisher = {ACM},
  isbn = {978-1-4503-8562-6},
}