Semantics-based software watermarking by abstract interpretation

DOI10.1017/S0960129518000038MaRDI QIDQ4611201zbMATH OpenOpenAlexWikidataFDO

Authors Mila Dalla Preda, Michele Pasqua

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• An abstract interpretation-based framework for software watermarking
• Software watermarking: a semantics-based approach
• scientific article; zbMATH DE number 1919450
• scientific article; zbMATH DE number 1893217
• Information Security and Cryptology - ICISC 2003
• Automata, Languages and Programming
• Watermarking cryptographic programs

Cites work

• scientific article; zbMATH DE number 1834576 (Why is no real title available?)
• scientific article; zbMATH DE number 1842483 (Why is no real title available?)
• scientific article; zbMATH DE number 1893217 (Why is no real title available?)
• Abstract non-interference
• An abstract interpretation-based framework for software watermarking
• Automata, Languages and Programming
• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
• Hiding Software Watermarks in Loop Structures
• Making abstract interpretations complete
• Software watermarking: a semantics-based approach
• Systematic design of program transformation frameworks by abstract interpretation
• Transforming Abstract Interpretations by Abstract Interpretation

Cited in

(7)

• scientific article; zbMATH DE number 1919450 (Why is no real title available?)
• Automata, Languages and Programming
• Software watermarking: a semantics-based approach
• Hiding Software Watermarks in Loop Structures
• scientific article; zbMATH DE number 1759653 (Why is no real title available?)
• An abstract interpretation-based framework for software watermarking
• Opaque Predicates Detection by Abstract Interpretation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4611201)