Assign Local Variables Watermarking Algorithm

Author

Ginger Myles (mylesg@cs.arizona.edu)

Description

Assign Local Variables is a watermarking algorithm that embeds the watermark in the local variable assignment by adding constraints to the interference graphs.

This algorithm has the advantage of being very stealthy due to the fact that it doesn't add any code. The only changes that can be seen between the original version and the watermarked version are the local variable numbers. Unfortunately this algorithm is highly suseptable to various attacks. For instance an obfuscator that modifies the method bodies should not be used after the watermark has been embedded as this will effect the interference graph.

Example

Configuration

References