Semantic-based code obfuscation by abstract interpretation (2005)
Cached
Download Links
- [profs.sci.univr.it]
- [profs.sci.univr.it]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP’05 |
| Citations: | 5 - 1 self |
BibTeX
@INPROCEEDINGS{Preda05semantic-basedcode,
author = {Mila Dalla Preda and Roberto Giacobazzi},
title = {Semantic-based code obfuscation by abstract interpretation},
booktitle = {In Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP’05},
year = {2005},
pages = {1325--1336},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In this paper we introduce a semantic-based approach for code obfuscation. The aim of code obfuscation is to prevent malicious users to disclose properties of the original source program. This goal can be precisely modeled by abstract interpretation, where the hiding of properties corresponds to abstract the semantics. We derive a general theory based on abstract interpretation, where the potency of code obfuscation can be measured by comparing hidden properties in the lattice of abstract interpretations. Semantic-based code obfuscation is applied to show that well known program transformation methods, such as constant propagation, can be seen as code obfuscation.
