International Association for Cryptologic Research

International Association
for Cryptologic Research


Paper: COA-Secure Obfuscation and Applications

Ran Canetti , Boston University
Suvradip Chakraborty , IST Austria
Dakshita Khurana , University of Illinois at Urbana-Champaign
Nishant Kumar , University of Illinois at Urbana-Champaign
Oxana Poburinnaya , Boston University
Manoj Prabhakaran , IIT Bombay
Search ePrint
Search Google
Presentation: Slides
Conference: EUROCRYPT 2022
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, these proofs also prevent mauling attacks, whereby an adversary surreptitiously creates an obfuscated program based on secrets which are embedded in other obfuscated programs. We call this new guarantee Chosen Obfuscation Attacks (COA) security. We show how to enhance a large class of obfuscation mechanisms to be COA-secure, assuming subexponentially secure IO for circuits and subexponentially secure one-way functions.To demonstrate the power of the new notion, we also use it to realize: - A new form of software watermarking, which provides significantly broader protection than current schemes against counterfeits that pass a keyless, public verification process. - Completely CCA encryption, which is a strengthening of completely non-malleable encryption.
Video from EUROCRYPT 2022
  title={COA-Secure Obfuscation and Applications},
  author={Ran Canetti and Suvradip Chakraborty and Dakshita Khurana and Nishant Kumar and Oxana Poburinnaya and Manoj Prabhakaran},