PCP-Mark: Software Watermarking with an Undecidable Problem.

David Schwarzbeck, Tobias Heineken, Michael Philippsen

Browse the full SECRYPT paper archive.