Hiding Software Watermarks in Loop Structures

Authors:
Mila Dalla Preda;Roberto Giacobazzi;Enrico Visentini
Affiliations:
Dipartimento di Informatica, Università di Verona, Verona, Italy 37134;Dipartimento di Informatica, Università di Verona, Verona, Italy 37134;Dipartimento di Informatica, Università di Verona, Verona, Italy 37134
Venue:
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Year:
2008

Citing 15
Cited 0

Countable nondeterminism and random assignment

Journal of the ACM (JACM)
Operating system protection through program evolution

Computers and Security
Compiler transformations for high-performance computing

ACM Computing Surveys (CSUR)
Manufacturing cheap, resilient, and stealthy opaque constructs

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software watermarking: models and dynamic embeddings

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Systematic design of program transformation frameworks by abstract interpretation

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

Theoretical Computer Science
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hiding Signatures in Graph Coloring Solutions

IH '99 Proceedings of the Third International Workshop on Information Hiding
Hiding Data in DNA

IH '02 Revised Papers from the 5th International Workshop on Information Hiding
Program slicing

ICSE '81 Proceedings of the 5th international conference on Software engineering
An abstract interpretation-based framework for software watermarking

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic path-based software watermarking

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Threading software watermarks

IH'04 Proceedings of the 6th international conference on Information Hiding

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose a software watermarking technique based on the fact that different semantic instances might be abstracted in the same syntactic object. Our idea is to hide the watermark in a particular semantic instance and to distribute the corresponding syntactic construct. The extraction process uses a secret key in order to recover the information loss and reconstruct the watermark. In particular, we focus on loops and we base the embedding and extraction algorithm on the semantic understanding of loop-unrolling.