Paper 2022/1781

COA-Secure Obfuscation and Applications

Ran Canetti, Boston University
Suvradip Chakraborty, ETH Zurich
Dakshita Khurana, University of Illinois at Urbana-Champaign
Nishanth Kumar, University of Illinois at Urbana-Champaign
Oxana Poburinnaya
Manoj Prabhakaran, IIT Bombay
Abstract

We put forth a new paradigm for program obfuscation, where obfuscated programs are endowed with proofs of ``well-formedness.'' In addition to asserting existence of an underlying plaintext program with an attested structure and functionality, these proofs also prevent mauling attacks, whereby an adversary surreptitiously creates an obfuscated program based on secrets which are embedded in a given obfuscated program. We call this new guarantee Chosen Obfuscation Attack (COA) security. We define and construct general-purpose COA-secure Probabilistic Indistinguishability Obfuscators for circuits, assuming sub-exponential IO for circuits and CCA commitments. To demonstrate the power of the new notion, we use it to realize, in the plain model: - Structural Watermarking, which is a new form of software watermarking that provides significantly broader protection than current schemes and features a keyless, public verification process. - Completely CCA encryption, which is a strengthening of completely non-malleable encryption. We also show, based on the same assumptions, a generic method for enhancing any obfuscation mechanism that guarantees any semantic-style form of hiding to one that provides also COA security.

Metadata
Available format(s)
PDF
Category
Foundations
Publication info
A major revision of an IACR publication in EUROCRYPT 2022
Keywords
program obfuscationnon-malleabilitysoftware watermarkingcca secure encryption
Contact author(s)
canetti @ bu edu
suvradip1111 @ gmail com
dakshkhurana @ gmail com
oxanapob @ bu edu
manoj m prabhakaran @ gmail com
History
2022-12-31: approved
2022-12-31: received
See all versions
Short URL
https://ia.cr/2022/1781
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2022/1781,
      author = {Ran Canetti and Suvradip Chakraborty and Dakshita Khurana and Nishanth   Kumar and Oxana  Poburinnaya and Manoj  Prabhakaran},
      title = {{COA}-Secure Obfuscation and Applications},
      howpublished = {Cryptology {ePrint} Archive, Paper 2022/1781},
      year = {2022},
      url = {https://eprint.iacr.org/2022/1781}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.