Hiding Software Watermarks in Loop Structures
From MaRDI portal
Publication:3522070
DOI10.1007/978-3-540-69166-2_12zbMath1149.68349MaRDI 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
68P25: Data encryption (aspects in computer science)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Semantics-based software watermarking by abstract interpretation, Smart contract watermarking based on code obfuscation
Cites Work
- Unnamed Item
- 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