Cousot, Patrick; Cousot, Radhia An abstract interpretation-based framework for software watermarking. (English) Zbl 1325.68061 Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 173-185 (2004). Cited in 8 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q55 Semantics in the theory of computing 94A60 Cryptography 94A62 Authentication, digital signatures and secret sharing Keywords:abstract interpretation; authentication; copyrights protection; fingerprinting; identification; intellectual property protection; obfuscation; software authorship; software watermarking; static analysis; steganography; stegoanalyst; stegoattacks; stegokey; stegomark; stegosignature; tamper-proofing; trustworthiness; validation watermarking PDFBibTeX XMLCite \textit{P. Cousot} and \textit{R. Cousot}, in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '04, Venice, Italy, January 14--16, 2004. New York, NY: Association for Computing Machinery (ACM). 173--185 (2004; Zbl 1325.68061) Full Text: DOI Link