Fair watermarking using combinatorial isolation lemmas

No abstract is available for this paper.

• Publication year

  2004

• Venue

  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

• Publication date

  2004-11-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1109/TCAD.2004.836730
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A machine program for theorem-proving

  2011cited by this paper
• Pairwise Independence and Derandomization

  2006cited by this paper
• Corrections to "Physically Rigorous Modeling of Internal Laser-Probing Techniques for Microstructured Semiconductor Devices"

  2004cited by this paper
• Relative Generic Computational Forensic Techniques

  2004cited by this paper
• Optimizing designs using the addition of deflection operations

  2004cited by this paper
• Local watermarks: methodology and application to behavioral synthesis

  2003cited by this paper
• Generic ILP versus specialized 0-1 ILP: an update

  2002cited by this paper
• A hierarchy of physical design watermarking schemes for intellectual property protection of IC designs

  2002cited by this paper
• Conflict driven learning in a quantified Boolean satisfiability solver

  2002cited by this paper
• Watermarking ICs for IP protection

  2002cited by this paper
• Watermarking, Tamper-Proofing, and Obfuscation-Tools for Software Protection

  2002cited by this paper
• Placement watermarking of standard-cell designs

  2001cited by this paper
• Publicly detectable techniques for the protection of virtual components

  2001cited by this paper
• Publicly detectable techniques for the protection virtual components

  2001cited by this paper
• Fingerprinting techniques for field-programmable gate arrayintellectual property protection

  2001cited by this paper
• Watermarking graph partitioning solutions

  2001cited by this paper
• Constraint-based watermarking techniques for design IP protection

  2001cited by this paper
• Mixed signal design watermarking for IP protection

  2001cited by this paper
• Techniques for the creation of digital watermarks in sequentialcircuit designs

  2001cited by this paper
• Fingerprinting intellectual property using constraint-addition

  2000cited by this paper
• The Propositional Formula Checker HeerHugo

  2000cited by this paper
• Fair watermarking techniques

  2000cited by this paper
• Boolean satisfiability in electronic design automation

  2000cited by this paper
• A Tutorial on Stålmarck's Proof Procedure for Propositional Logic

  2000cited by this paper
• IP protection of DSP algorithms for system on chip implementation

  2000cited by this paper
• On using satisfiability-based pruning techniques in covering algorithms

  2000cited by this paper
• Forensic engineering techniques for VLSI CAD tools

  2000cited by this paper
• Behavioral synthesis techniques for intellectual property protection

  1999cited by this paper
• Combinational equivalence checking using satisfiability and recursive learning

  1999cited by this paper
• Optimization-intensive watermarking techniques for decision problems

  1999cited by this paper
• Robust techniques for watermarking sequential circuit designs

  1999cited by this paper
• Effective iterative techniques for fingerprinting design IP

  1999cited by this paper
• Multimedia watermarking techniques

  1999cited by this paper
• Algorithms for VLSI Physical Design Automation

  1999cited by this paper
• GRASP: A Search Algorithm for Propositional Satisfiability

  1999cited by this paper
• A shape-preserving data embedding algorithm for NURBS curves and surfaces

  1999cited by this paper
• Watermarking-based copyright protection of sequential functions

  1999cited by this paper
• Satisfiability-based detailed FPGA routing

  1999cited by this paper
• Perceptual watermarks for digital images and video

  1999cited by this paper
• Copyright protection for the electronic distribution of text documents

  1999cited by this paper
• The use of watermarks in the protection of digital multimedia products

  1999cited by this paper
• Blind digital watermarking for cartoon and map images

  1999cited by this paper
• Watermarking DSP algorithms for system on chip implementation

  1999cited by this paper
• A Linear-Time Transformation of Linear Inequalities into Conjunctive Normal Form

  1998cited by this paper
• Integrating a Boolean satisfiability checker and BDDs for combinational equivalence checking

  1998cited by this paper
• Analysis of watermarking techniques for graph coloring problem

  1998cited by this paper
• Uniquely Colourable Graphs and the Hardness of Colouring Graphs of Large Girth

  1998cited by this paper
• New Techniques for Deterministic Test Pattern Generation

  1998cited by this paper
• Intellectual property protection by watermarking combinational logic synthesis solutions

  1998cited by this paper
• FPGA fingerprinting techniques for protecting intellectual property

  1998cited by this paper
• Robust IP watermarking methodologies for physical design

  1998cited by this paper
• Models and Algorithms for Computing Minimum-Size Prime Implicants

  1998cited by this paper
• Robust Search Algorithms for Test Pattern Generation

  1997cited by this paper
• SATO: An Efficient Propositional Prover

  1997cited by this paper
• Applications of toral automorphisms in image watermarking

  1996cited by this paper
• Secure spread spectrum watermarking for images, audio and video

  1996cited by this paper
• A Discrete Lagrangian-Based Global-Search Method for Solving Satisfiability Problems

  1996cited by this paper
• A satisfiability-based test generator for path delay faults in combinational circuits

  1996cited by this paper
• Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances

  1996cited by this paper
• A watermark for digital images

  1996cited by this paper
• A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization

  1995cited by this paper
• Test instance generation for promised NP search problems

  1994cited by this paper
• Local search strategies for satisfiability testing

  1993cited by this paper
• Sequential logic optimization by redundancy addition and removal

  1993cited by this paper
• A New Method for Solving Hard Satis ability Problems

  1992cited by this paper
• Test pattern generation using Boolean satisfiability

  1992cited by this paper
• Optimal layout via Boolean satisfiability

  1989cited by this paper
• NP is as easy as detecting unique solutions

  1985influential reference
• The NP-Completeness Column: An Ongoing Guide

  1982cited by this paper
• The complexity of theorem-proving procedures

  1971influential reference

• Hardware IP Watermarking and Fingerprinting

  2016cites this paper
• Hardware implementation of visible watermarking

  2015cites this paper
• Active Hardware Metering for Intellectual Property Protection and Security

  2007cites this paper
• Protecting Combinational Logic Synthesis Solutions

  2006cites this paper