VERIFIABLE CRYPTOGRAPHIC OBFUSCATION

Abstract

Methods, systems, and apparatus for verifiable cryptographic obfuscation. In one aspect, am obfuscator system receives an obfuscated program, a public seed and a secret seed, the public seed comprising a LPN encryption of a PRG input that is embedded in the obfuscated program, where the LPN encryption of the PRG input is generated using an error vector generated by physically unclonable function (PUF) included in the obfuscator system. The system computes a corrected PRG output obtained by evaluating the PRG on the LPN encryption of the PRG input using the public seed. The system predicts the error vector generated by the PUF and computes a corrupted PRG output obtained by evaluating the PRG on an LPN encryption of the PRG input and the predicted error vector. The system verifies the obfuscation of the program based on a Hamming distance between the corrected PRG output and the corrupted PRG output.

CPC Classifications