An abstract interpretation-based framework for software watermarking

Patrick Cousot, Radhia Cousot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Software watermarking consists in the intentional embedding of indelible stegosignatures or watermarks into the subject software and extraction of the stegosignatures embedded in the stegoprograms for purposes such as intellectual property protection. We introduce the novel concept of abstract software watermarking. The basic idea is that the watermark is hidden in the program code in such a way that it can only be extracted by an abstract interpretation of the (maybe non-standard) concrete semantics of this code. This static analysis-based approach allows the watermark to be recovered even if only a small part of the program code is present and does not even need that code to be executed. We illustrate the technique by a simple abstract watermarking protocol for methods of Java™ classes. The concept applies equally well to any other kind of software (including hardware originally specified by software).

Original languageEnglish (US)
Title of host publicationConference Record of the Annual ACM Symposium on Principles of Programming Languages
Pages173-185
Number of pages13
Volume31
StatePublished - 2004
EventConference Record of POPL 2004 - 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Venice, Italy
Duration: Jan 14 2004Jan 16 2004

Other

OtherConference Record of POPL 2004 - 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
CountryItaly
CityVenice
Period1/14/041/16/04

Fingerprint

Watermarking
Intellectual property
Static analysis
Semantics
Concretes
Hardware
Network protocols

Keywords

  • Abstract Interpretation
  • Authentication
  • Copyrights Protection
  • Fingerprinting
  • Identification
  • Intellectual Property Protection
  • Obfuscation
  • Software Authorship
  • Software Watermarking
  • Static Analysis
  • Steganography
  • Stegoanalyst
  • Stegoattacks
  • Stegokey

ASJC Scopus subject areas

  • Software

Cite this

Cousot, P., & Cousot, R. (2004). An abstract interpretation-based framework for software watermarking. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (Vol. 31, pp. 173-185)

An abstract interpretation-based framework for software watermarking. / Cousot, Patrick; Cousot, Radhia.

Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Vol. 31 2004. p. 173-185.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cousot, P & Cousot, R 2004, An abstract interpretation-based framework for software watermarking. in Conference Record of the Annual ACM Symposium on Principles of Programming Languages. vol. 31, pp. 173-185, Conference Record of POPL 2004 - 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice, Italy, 1/14/04.
Cousot P, Cousot R. An abstract interpretation-based framework for software watermarking. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Vol. 31. 2004. p. 173-185
Cousot, Patrick ; Cousot, Radhia. / An abstract interpretation-based framework for software watermarking. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Vol. 31 2004. pp. 173-185
@inproceedings{3f58f24fcbfb4812b3cec18107fb2d97,
title = "An abstract interpretation-based framework for software watermarking",
abstract = "Software watermarking consists in the intentional embedding of indelible stegosignatures or watermarks into the subject software and extraction of the stegosignatures embedded in the stegoprograms for purposes such as intellectual property protection. We introduce the novel concept of abstract software watermarking. The basic idea is that the watermark is hidden in the program code in such a way that it can only be extracted by an abstract interpretation of the (maybe non-standard) concrete semantics of this code. This static analysis-based approach allows the watermark to be recovered even if only a small part of the program code is present and does not even need that code to be executed. We illustrate the technique by a simple abstract watermarking protocol for methods of Java™ classes. The concept applies equally well to any other kind of software (including hardware originally specified by software).",
keywords = "Abstract Interpretation, Authentication, Copyrights Protection, Fingerprinting, Identification, Intellectual Property Protection, Obfuscation, Software Authorship, Software Watermarking, Static Analysis, Steganography, Stegoanalyst, Stegoattacks, Stegokey",
author = "Patrick Cousot and Radhia Cousot",
year = "2004",
language = "English (US)",
volume = "31",
pages = "173--185",
booktitle = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

}

TY - GEN

T1 - An abstract interpretation-based framework for software watermarking

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2004

Y1 - 2004

N2 - Software watermarking consists in the intentional embedding of indelible stegosignatures or watermarks into the subject software and extraction of the stegosignatures embedded in the stegoprograms for purposes such as intellectual property protection. We introduce the novel concept of abstract software watermarking. The basic idea is that the watermark is hidden in the program code in such a way that it can only be extracted by an abstract interpretation of the (maybe non-standard) concrete semantics of this code. This static analysis-based approach allows the watermark to be recovered even if only a small part of the program code is present and does not even need that code to be executed. We illustrate the technique by a simple abstract watermarking protocol for methods of Java™ classes. The concept applies equally well to any other kind of software (including hardware originally specified by software).

AB - Software watermarking consists in the intentional embedding of indelible stegosignatures or watermarks into the subject software and extraction of the stegosignatures embedded in the stegoprograms for purposes such as intellectual property protection. We introduce the novel concept of abstract software watermarking. The basic idea is that the watermark is hidden in the program code in such a way that it can only be extracted by an abstract interpretation of the (maybe non-standard) concrete semantics of this code. This static analysis-based approach allows the watermark to be recovered even if only a small part of the program code is present and does not even need that code to be executed. We illustrate the technique by a simple abstract watermarking protocol for methods of Java™ classes. The concept applies equally well to any other kind of software (including hardware originally specified by software).

KW - Abstract Interpretation

KW - Authentication

KW - Copyrights Protection

KW - Fingerprinting

KW - Identification

KW - Intellectual Property Protection

KW - Obfuscation

KW - Software Authorship

KW - Software Watermarking

KW - Static Analysis

KW - Steganography

KW - Stegoanalyst

KW - Stegoattacks

KW - Stegokey

UR - http://www.scopus.com/inward/record.url?scp=2442589724&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=2442589724&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:2442589724

VL - 31

SP - 173

EP - 185

BT - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

ER -