An abstract interpretation-based framework for software watermarking

DOI10.1145/964001.964016zbMath1325.68061OpenAlexW2156897720MaRDI QIDQ3452259

Radhia Cousot, Patrick Cousot

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.543

zbMATH Keywords

identificationstatic analysisauthenticationabstract interpretationfingerprintingsteganographytrustworthinessobfuscationintellectual property protectionsoftware watermarkingcopyrights protectionsoftware authorshipstegoanalyststegoattacksstegokeystegomarkstegosignaturetamper-proofingvalidation watermarking

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Authentication, digital signatures and secret sharing (94A62)

Related Items (9)

Code obfuscation against abstraction refinement attacks ⋮ Transfer of Model Checking to Industrial Practice ⋮ Software watermarking: a semantics-based approach ⋮ Abstract interpretation of graphs ⋮ Hiding Software Watermarks in Loop Structures ⋮ Semantics-based software watermarking by abstract interpretation ⋮ Using algebraic models of programs for detecting metamorphic malwares ⋮ Encoding watermark numbers as reducible permutation graphs using self-inverting permutations ⋮ Abstract Interpretation of FIFO Replacement

This page was built for publication: An abstract interpretation-based framework for software watermarking