## CryptoDB

### Paper: COA-Secure Obfuscation and Applications

Authors: 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 Slides EUROCRYPT 2022 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.
##### BibTeX
@inproceedings{eurocrypt-2022-31961,
title={COA-Secure Obfuscation and Applications},
publisher={Springer-Verlag},
author={Ran Canetti and Suvradip Chakraborty and Dakshita Khurana and Nishant Kumar and Oxana Poburinnaya and Manoj Prabhakaran},
year=2022
}