Theory of Cryptography

Volume 5444 of the series Lecture Notes in Computer Science pp 73-90

Non-malleable Obfuscation

  • Ran CanettiAffiliated withSchool of Computer Science, Tel Aviv University
  • , Mayank VariaAffiliated withMassachusetts Institute of Technology


Existing definitions of program obfuscation do not rule out malleability attacks, where an adversary that sees an obfuscated program is able to generate another (potentially obfuscated) program that is related to the original one in some way.

We formulate two natural flavors of non-malleability requirements for program obfuscation, and show that they are incomparable in general. We also construct non-malleable obfuscators of both flavors for some program families of interest. Some of our constructions are in the Random Oracle model, whereas another one is in the common reference string model. We also define the notion of verifiable obfuscation which is of independent interest.