COA-Secure Obfuscation and Applications

Ran Canetti; Suvradip Chakraborty; Dakshita Khurana; Nishanth   Kumar; Oxana  Poburinnaya; Manoj  Prabhakaran

eprint.iacr.org will be offline for approximately an hour for routine maintenance at 11pm UTC on Tuesday, April 16. We lost some data between April 12 and April 14, and some authors have been notified that they need to resubmit their papers.

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 obfuscation non-malleability software watermarking cca 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: 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},
      note = {\url{https://eprint.iacr.org/2022/1781}},
      url = {https://eprint.iacr.org/2022/1781}
}