A method for watermarking java programs via opaque predicates
Cryptography: Theory and Practice