Semantics-based software watermarking by abstract interpretation

DOI10.1017/S0960129518000038zbMath1410.68085OpenAlexW2804756185MaRDI QIDQ4611201

Michele Pasqua, Mila Dalla Preda

Publication date: 17 January 2019

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129518000038

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Software watermarking: a semantics-based approach
• An abstract interpretation-based framework for software watermarking
• Abstract non-interference
• Transforming Abstract Interpretations by Abstract Interpretation
• Hiding Software Watermarks in Loop Structures
• Systematic design of program transformation frameworks by abstract interpretation
• Making abstract interpretations complete
• Automata, Languages and Programming

This page was built for publication: Semantics-based software watermarking by abstract interpretation