ATP - Anti-Tampering Program.

Massimo Cotrozzi David Vincenzetti

Published in: USENIX Security Symposium (1993)

Keyphrases

digital images
reverse engineering
computer programs
automated theorem proving
learning algorithm
case study
watermarking scheme
static analysis
programming environment