Hiding Software Watermarks in Loop Structures

DOI10.1007/978-3-540-69166-2_12MaRDI QIDQ3522070zbMATH OpenOpenAlexFDO

Authors Mila Dalla Preda, Roberto Giacobazzi, Enrico Visentini

Publication date 28 August 2008

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-69166-2_12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data encryption (aspects in computer science) (68P25)

Recommendations

• An abstract interpretation-based framework for software watermarking
• Semantics-based software watermarking by abstract interpretation
• Software watermarking: a semantics-based approach
• scientific article; zbMATH DE number 1919450
• scientific article; zbMATH DE number 1893217

Cites work

• An abstract interpretation-based framework for software watermarking
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Countable nondeterminism and random assignment
• scientific article; zbMATH DE number 1952767 (Why is no real title available?)
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(6)

• Software watermarking: a semantics-based approach
• An abstract interpretation-based framework for software watermarking
• scientific article; zbMATH DE number 1759653 (Why is no real title available?)
• Semantics-based software watermarking by abstract interpretation
• Error-correcting graphs for software watermarking.
• Smart contract watermarking based on code obfuscation

This page was built for publication: Hiding Software Watermarks in Loop Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522070)