TY - GEN
T1 - Can a program reverse-engineer itself?
AU - Amarilli, Antoine
AU - Naccache, David
AU - Rauzy, Pablo
AU - Simion, Emil
PY - 2011/12/23
Y1 - 2011/12/23
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/83755180846
U2 - 10.1007/978-3-642-25516-8_1
DO - 10.1007/978-3-642-25516-8_1
M3 - Conference contribution
AN - SCOPUS:83755180846
SN - 9783642255151
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 9
BT - Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings
T2 - 13th IMA International Conference on Cryptography and Coding, IMACC 2011
Y2 - 12 December 2011 through 15 December 2011
ER -