Can a program reverse-engineer itself?

Antoine Amarilli; David Naccache; Pablo Rauzy; Emil Simion

doi:10.1007/978-3-642-25516-8_1

Can a program reverse-engineer itself?

Antoine Amarilli
, David Naccache
, Pablo Rauzy
, Emil Simion

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Shape-memory alloys are metal pieces that "remember" their original cold-forged shapes and return to the pre-deformed shape after heating. In this work we construct a software analogous of shape-memory alloys: programs whose code resists obfuscation. We show how to pour arbitrary functions into protective envelops that allow recovering the functions' exact initial code after obfuscation. We explicit the theoretical foundations of our method and provide a concrete implementation in Scheme.

Original language	English
Title of host publication	Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings
Pages	1-9
Number of pages	9
DOIs	https://doi.org/10.1007/978-3-642-25516-8_1
Publication status	Published - 23 Dec 2011
Event	13th IMA International Conference on Cryptography and Coding, IMACC 2011 - Oxford, United Kingdom Duration: 12 Dec 2011 → 15 Dec 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7089 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th IMA International Conference on Cryptography and Coding, IMACC 2011
Country/Territory	United Kingdom
City	Oxford
Period	12/12/11 → 15/12/11

Access to Document

10.1007/978-3-642-25516-8_1

Cite this

Amarilli, A., Naccache, D., Rauzy, P., & Simion, E. (2011). Can a program reverse-engineer itself? In Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings (pp. 1-9). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7089 LNCS). https://doi.org/10.1007/978-3-642-25516-8_1

@inproceedings{f87df72d40144cedbcc37939ccc45617,

title = "Can a program reverse-engineer itself?",

abstract = "Shape-memory alloys are metal pieces that {"}remember{"} their original cold-forged shapes and return to the pre-deformed shape after heating. In this work we construct a software analogous of shape-memory alloys: programs whose code resists obfuscation. We show how to pour arbitrary functions into protective envelops that allow recovering the functions' exact initial code after obfuscation. We explicit the theoretical foundations of our method and provide a concrete implementation in Scheme.",

author = "Antoine Amarilli and David Naccache and Pablo Rauzy and Emil Simion",

year = "2011",

month = dec,

day = "23",

doi = "10.1007/978-3-642-25516-8\_1",

language = "English",

isbn = "9783642255151",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "1--9",

booktitle = "Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings",

note = "13th IMA International Conference on Cryptography and Coding, IMACC 2011 ; Conference date: 12-12-2011 Through 15-12-2011",

}

Amarilli, A, Naccache, D, Rauzy, P & Simion, E 2011, Can a program reverse-engineer itself? in Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7089 LNCS, pp. 1-9, 13th IMA International Conference on Cryptography and Coding, IMACC 2011, Oxford, United Kingdom, 12/12/11. https://doi.org/10.1007/978-3-642-25516-8_1

Can a program reverse-engineer itself? / Amarilli, Antoine; Naccache, David; Rauzy, Pablo et al.
Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings. 2011. p. 1-9 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7089 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review