Semantics-based software watermarking by abstract interpretation
DOI10.1017/S0960129518000038zbMATH Open1410.68085OpenAlexW2804756185WikidataQ129808561 ScholiaQ129808561MaRDI QIDQ4611201FDOQ4611201
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
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
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)
Cites Work
- Systematic design of program transformation frameworks by abstract interpretation
- Title not available (Why is that?)
- Making abstract interpretations complete
- Abstract non-interference
- Automata, Languages and Programming
- Title not available (Why is that?)
- An abstract interpretation-based framework for software watermarking
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Title not available (Why is that?)
- Software watermarking: a semantics-based approach
- Transforming Abstract Interpretations by Abstract Interpretation
- Hiding Software Watermarks in Loop Structures
Cited In (7)
- Title not available (Why is that?)
- Automata, Languages and Programming
- Software watermarking: a semantics-based approach
- Hiding Software Watermarks in Loop Structures
- Title not available (Why is that?)
- 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)
