Control Code Obfuscation by Abstract Interpretation

Mila Dalla Preda, Roberto Giacobazzi. Control Code Obfuscation by Abstract Interpretation. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 301-310, IEEE Computer Society, 2005. [doi]

@inproceedings{PredaG05:0,
  title = {Control Code Obfuscation by Abstract Interpretation},
  author = {Mila Dalla Preda and Roberto Giacobazzi},
  year = {2005},
  doi = {10.1109/SEFM.2005.13},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.13},
  researchr = {https://researchr.org/publication/PredaG05%3A0},
  cites = {0},
  citedby = {0},
  pages = {301-310},
  booktitle = {Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany},
  editor = {Bernhard K. Aichernig and Bernhard Beckert},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2435-4},
}