A formal framework for property-driven obfuscation strategies

Authors:
Mila Dalla Preda;Isabella Mastroeni;Roberto Giacobazzi
Affiliations:
University of Verona, Italy;University of Verona, Italy;University of Verona, Italy
Venue:
FCT'13 Proceedings of the 19th international conference on Fundamentals of Computation Theory
Year:
2013

Citing 13
Cited 1

On residuated approximations

Categorical methods in computer science with aspects from topology
Manufacturing cheap, resilient, and stealthy opaque constructs

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Making abstract interpretations complete

Journal of the ACM (JACM)
Systematic design of program transformation frameworks by abstract interpretation

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the (Im)possibility of Obfuscating Programs

CRYPTO '01 Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
Control Code Obfuscation by Abstract Interpretation

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Slicing obfuscations: design, correctness, and evaluation

Proceedings of the 2007 ACM workshop on Digital Rights Management
Transforming Abstract Interpretations by Abstract Interpretation

SAS '08 Proceedings of the 15th international symposium on Static Analysis
Semantics-based code obfuscation by abstract interpretation

Journal of Computer Security
Making abstract interpretation incomplete: modeling the potency of obfuscation

SAS'12 Proceedings of the 19th international conference on Static Analysis

Analyzing program dependencies for malware detection

Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the existence and the characterization of function transformers that minimally or maximally modify a function in order to reveal or conceal a certain property. Based on this general formal framework we develop a strategy for the design of the maximal obfuscating transformation that conceals a given property while revealing the desired observational behaviour.