Optimization-Intensive Watermarking Techniques for Decision Problems

Recently, a number of watermarking-based intellectual property protection techniques have been proposed. Although they have been applied to different stages in the design process and have a great variety of technical and theoretical features, all of them share two common properties: they all have been applied solely to optimization problems and do not involve any optimization during the watermarking process. In this paper, we propose the first set of optimization-intensive watermarking techniques for decision problems. In particular, we demonstrate how one can select a subset of superimposed watermarking constraints so that the uniqueness of the signature and the likelihood of satisfying an instance of the satisfiability problem are simultaneously maximized. We have developed three watermarking SAT techniques: adding clauses, deleting literals, push-out and pull-back. Each technique targets different types of signatureinduced constraint superimposition on an instance of the SAT proble...

• Type: Conference
• Year: 1999
• Where: DAC
• Authors: Gang Qu, Jennifer L. Wong, Miodrag Potkonjak
• Keywords: DAC 1999, Design Automation, Optimization-intensive Watermarking Techniques, Property Protection Techniques, Watermarking Sat Techniques