Sign in

Formal Methods Meet Mobile Code Obfuscation Identification of Code Reordering Technique.

Aniello CimitileFabio MartinelliFrancesco MercaldoVittoria NardoneAntonella Santone
Published in: WETICE (2017)
Keyphrases
  • formal methods
  • source code
  • static analysis
  • knowledge based systems
  • mobile learning
  • model checking
  • reverse engineering
  • database
  • information systems
  • reverse engineer