Code protection technologies require anti reverse engineering transformations to obfuscate programs in such a way that tools and methods for program reasoning become ineffective. In this paper we introduce the concept of model deformation as code obfuscation against attacks performed by abstract model checking and abstraction refinement. We transform Kripke structures in order to make the removal of spurious counterexamples by abstraction refinement maximally inefficient. Because our approach is intended to defeat the fundamental abstraction refinement strategy, we are independent from the specific attack carried out by abstract model checking. A measure of the quality of the obfuscation obtained by model deformation is given together with a corresponding best obfuscation strategy for abstract model checking.
Code Obfuscation Against Abstract Model Checking Attacks
Bruni Roberto;Gori Roberta
2018-01-01
Abstract
Code protection technologies require anti reverse engineering transformations to obfuscate programs in such a way that tools and methods for program reasoning become ineffective. In this paper we introduce the concept of model deformation as code obfuscation against attacks performed by abstract model checking and abstraction refinement. We transform Kripke structures in order to make the removal of spurious counterexamples by abstraction refinement maximally inefficient. Because our approach is intended to defeat the fundamental abstraction refinement strategy, we are independent from the specific attack carried out by abstract model checking. A measure of the quality of the obfuscation obtained by model deformation is given together with a corresponding best obfuscation strategy for abstract model checking.File | Dimensione | Formato | |
---|---|---|---|
paper-VMCAI.pdf
Open Access dal 02/01/2019
Descrizione: articolo principale
Tipologia:
Documento in Post-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
651.57 kB
Formato
Adobe PDF
|
651.57 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.