Code obfuscation against abstraction refinement attacks

Roberto Bruni, Roberto Giacobazzi, Roberta Gori. Code obfuscation against abstraction refinement attacks. Formal Asp. Comput., 30(6):685-711, 2018. [doi]

@article{BruniGG18-0,
  title = {Code obfuscation against abstraction refinement attacks},
  author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori},
  year = {2018},
  doi = {10.1007/s00165-018-0462-6},
  url = {https://doi.org/10.1007/s00165-018-0462-6},
  researchr = {https://researchr.org/publication/BruniGG18-0},
  cites = {0},
  citedby = {0},
  journal = {Formal Asp. Comput.},
  volume = {30},
  number = {6},
  pages = {685-711},
}