Generating Functionally Equivalent Programs Having Non-Isomorphic Control-Flow Graphs
Cryptography and Security
2017-09-26 v1
Abstract
One of the big challenges in program obfuscation consists in modifying not only the program's straight-line code (SLC) but also the program's control flow graph (CFG). Indeed, if only SLC is modified, the program's CFG can be extracted and analyzed. Usually, the CFG leaks a considerable amount of information on the program's structure. In this work we propose a method allowing to re-write a code P into a functionally equivalent code P' such that CFG{P} and CFG{P'} are radically different.
Cite
@article{arxiv.1709.08357,
title = {Generating Functionally Equivalent Programs Having Non-Isomorphic Control-Flow Graphs},
author = {Rémi Géraud and Mirko Koscina and Paul Lenczner and David Naccache and David Saulpic},
journal= {arXiv preprint arXiv:1709.08357},
year = {2017}
}
Comments
16 pages paper, published in NordSec 2017 (conference), Proceedings of the Nordic Conference on Secure IT Systems (Nordic 2017)