Accession Number : ADA486997


Title :   Obfuscation Framework Based on Functionally Equivalent Combinatorial Logic Families


Descriptive Note : Master's thesis


Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH GRADUATE SCHOOL OF ENGINEERING AND MANAGEMENT


Personal Author(s) : James, Moses C


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a486997.pdf


Report Date : Mar 2008


Pagination or Media Count : 67


Abstract : This thesis aims to be a few building blocks in the bridge between theoretical and practical software obfuscation that researchers will one day construct. We provide a method for random uniform selection of circuits based on a functional signature and specific construction specifiers. Additionally, this thesis includes the first formal definition of an algorithm that performs only static analysis on a program; that is analysis that does not rely on the input and output behavior of the analyzed program. This is analogous to some techniques used in real-world software reverse engineering. Finally, this thesis uses the equivalent circuit library to empirically produce some statistical data about enumerated circuit families and explains how this data may be useful to future researchers.


Descriptors :   *SOFTWARE ENGINEERING , ALGORITHMS , REVERSE ENGINEERING , THESES , CODING , INFORMATION THEORY , COMPUTER PROGRAMS , CRYPTOGRAPHY


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE