Software watermarking: a semantics-based approach

DOI10.1016/j.entcs.2017.02.005zbMath1412.68036WikidataQ113317602 ScholiaQ113317602MaRDI QIDQ1650961

Mila Dalla Preda, Michele Pasqua

Publication date: 16 July 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2017.02.005

zbMATH Keywords

program transformation; abstract interpretation; program semantics; software watermarking

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)