Abstract watermarking is different from existing static and … is by abstract interpretation of its (non-standard) concrete … Moreover the abstract extractor can be parameterized by … this is a semi-visible watermarking in that even … algorithm), the watermark or signature will be invisible … Since the stegosignature is hidden in the program … [ref], at some level of abstraction such as sets of traces, … [p. 185] We exemplified an instance based on modular …
Google-1
Google-2
Copyright clearance needed for quotation.