Implementation of cryptographic program obfuscation