An abstract interpretation-based framework for software watermarking.

Patrick Cousot, Radhia Cousot

Browse the full POPL paper archive.