Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique

Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone. Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique. In Sumitra Reddy, Wojciech Cellary, Mariagrazia Fugini, editors, 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017. pages 263-268, IEEE Computer Society, 2017. [doi]

@inproceedings{CimitileMMNS17,
  title = {Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique},
  author = {Aniello Cimitile and Fabio Martinelli and Francesco Mercaldo and Vittoria Nardone and Antonella Santone},
  year = {2017},
  doi = {10.1109/WETICE.2017.23},
  url = {http://doi.ieeecomputersociety.org/10.1109/WETICE.2017.23},
  researchr = {https://researchr.org/publication/CimitileMMNS17},
  cites = {0},
  citedby = {0},
  pages = {263-268},
  booktitle = {26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017, Poznan, Poland, June 21-23, 2017},
  editor = {Sumitra Reddy and Wojciech Cellary and Mariagrazia Fugini},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5386-1759-5},
}