Software watermarking: a semantics-based approach

DOI10.1016/j.entcs.2017.02.005zbMath1412.68036OpenAlexW2596118160WikidataQ113317602 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 transformationabstract interpretationprogram semanticssoftware watermarking

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Semantics-based software watermarking by abstract interpretation

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Candidate Indistinguishability Obfuscation and Functional Encryption for All Circuits
• An abstract interpretation-based framework for software watermarking
• Abstract non-interference
• Systematic design of program transformation frameworks by abstract interpretation

This page was built for publication: Software watermarking: a semantics-based approach