Skip to Main content Skip to Navigation
Conference papers

Measuring the Robustness of Source Program Obfuscation - Studying the Impact of Compiler Optimizations on the Obfuscation of C Programs

Sandrine Blazy 1 Stéphanie Riaud 1, 2
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Obfuscation is a commonly used technique to protect software from the reverse engineering process. Advanced obfuscations usually rely on semantic properties of programs and thus may be performed on source programs. This raises the question of how to be sure that the binary code (that is effectively running) is still obfuscated. This paper presents a data obfuscation of C programs and a methodology to evaluate how the obfuscation resists to the GCC compiler. Information generated by the compiler (including effects of relevant optimizations that could deobfuscate programs) and a study of the disassembled binary code, as well as a dynamic analysis of the performances of binary code show that our obfuscation is worthwhile.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00927427
Contributor : Sandrine Blazy <>
Submitted on : Monday, January 13, 2014 - 10:00:22 AM
Last modification on : Friday, July 10, 2020 - 4:00:32 PM
Long-term archiving on: : Sunday, April 13, 2014 - 10:30:23 PM

File

codasp01-blazy.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00927427, version 1

Citation

Sandrine Blazy, Stéphanie Riaud. Measuring the Robustness of Source Program Obfuscation - Studying the Impact of Compiler Optimizations on the Obfuscation of C Programs. Fourth ACM Conference on Data and Application Security and Privacy - SIGSAC ACM CODASPY 2014, Mar 2014, San Antonio, United States. ⟨hal-00927427⟩

Share

Metrics

Record views

545

Files downloads

746