An abstract interpretation-based framework for software watermarking

DOI10.1145/964001.964016MaRDI QIDQ3452259zbMATH OpenOpenAlexFDO

Authors Patrick Cousot, Radhia Cousot

Publication date 11 November 2015

Published in Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.543

zbMATH Keywords

abstract interpretationauthenticationcopyrights protectionfingerprintingidentificationintellectual property protectionobfuscationsoftware authorshipsoftware watermarkingstatic analysissteganographystegoanalyststegoattacksstegokeystegomarkstegosignaturetamper-proofingtrustworthinessvalidation watermarking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Semantics-based software watermarking by abstract interpretation
• Software watermarking: a semantics-based approach
• Hiding Software Watermarks in Loop Structures
• scientific article; zbMATH DE number 1919450
• scientific article; zbMATH DE number 1893217

Cited in

(17)

• Code obfuscation against abstraction refinement attacks
• Software watermarking: a semantics-based approach
• Encoding watermark numbers as reducible permutation graphs using self-inverting permutations
• Full characterization of a class of graphs tailored for software watermarking
• Remote IP protection using timing channels
• Transfer of model checking to industrial practice
• Abstract Interpretation of FIFO Replacement
• Hiding Software Watermarks in Loop Structures
• Opaque Predicates Detection by Abstract Interpretation
• scientific article; zbMATH DE number 1919450 (Why is no real title available?)
• scientific article; zbMATH DE number 1759653 (Why is no real title available?)
• Semantics-based software watermarking by abstract interpretation
• scientific article; zbMATH DE number 1893217 (Why is no real title available?)
• Using algebraic models of programs for detecting metamorphic malwares
• Information Security and Cryptology - ICISC 2003
• Abstract interpretation of graphs
• Abstract Lipschitz continuity. Combining semantic and quantitative approximations

This page was built for publication: An abstract interpretation-based framework for software watermarking

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