Hiding Software Watermarks in Loop Structures

DOI10.1007/978-3-540-69166-2_12zbMath1149.68349OpenAlexW2168839884MaRDI QIDQ3522070

Mila Dalla Preda, Enrico Visentini, Roberto Giacobazzi

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

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

Related Items

Smart contract watermarking based on code obfuscation ⋮ Semantics-based software watermarking by abstract interpretation

Cites Work

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• An abstract interpretation-based framework for software watermarking
• Countable nondeterminism and random assignment
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item