COA-Secure Obfuscation and Applications

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

doi:10.1007/978-3-031-06944-4_25

COA-Secure Obfuscation and Applications

Ran Canetti, Suvradip Chakraborty, Dakshita Khurana, Nishant Kumar, Oxana Poburinnaya, Manoj Prabhakaran

Siebel School of Computing and Data Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English (US)
Title of host publication	Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings
Editors	Orr Dunkelman, Stefan Dziembowski
Publisher	Springer
Pages	731-758
Number of pages	28
ISBN (Print)	9783031069437
DOIs	https://doi.org/10.1007/978-3-031-06944-4_25
State	Published - 2022
Event	41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022 - Trondheim, Norway Duration: May 30 2022 → Jun 3 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13275 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022
Country/Territory	Norway
City	Trondheim
Period	5/30/22 → 6/3/22

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/978-3-031-06944-4_25

Library availability

Discover UIUC Full Text

Cite this

Canetti, R., Chakraborty, S., Khurana, D., Kumar, N., Poburinnaya, O., & Prabhakaran, M. (2022). COA-Secure Obfuscation and Applications. In O. Dunkelman, & S. Dziembowski (Eds.), Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (pp. 731-758). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13275 LNCS). Springer. https://doi.org/10.1007/978-3-031-06944-4_25

COA-Secure Obfuscation and Applications. / Canetti, Ran; Chakraborty, Suvradip; Khurana, Dakshita et al.
Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. ed. / Orr Dunkelman; Stefan Dziembowski. Springer, 2022. p. 731-758 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13275 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Canetti, R, Chakraborty, S, Khurana, D, Kumar, N, Poburinnaya, O & Prabhakaran, M 2022, COA-Secure Obfuscation and Applications. in O Dunkelman & S Dziembowski (eds), Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13275 LNCS, Springer, pp. 731-758, 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022, Trondheim, Norway, 5/30/22. https://doi.org/10.1007/978-3-031-06944-4_25

Canetti R, Chakraborty S, Khurana D, Kumar N, Poburinnaya O, Prabhakaran M. COA-Secure Obfuscation and Applications. In Dunkelman O, Dziembowski S, editors, Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. Springer. 2022. p. 731-758. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-06944-4_25

Canetti, Ran ; Chakraborty, Suvradip ; Khurana, Dakshita et al. / COA-Secure Obfuscation and Applications. Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings. editor / Orr Dunkelman ; Stefan Dziembowski. Springer, 2022. pp. 731-758 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a355c71207d2487587410cd4e75c464c,

title = "COA-Secure Obfuscation and Applications",

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.",

author = "Ran Canetti and Suvradip Chakraborty and Dakshita Khurana and Nishant Kumar and Oxana Poburinnaya and Manoj Prabhakaran",

note = "Publisher Copyright: {\textcopyright} 2022, International Association for Cryptologic Research.; 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022 ; Conference date: 30-05-2022 Through 03-06-2022",

year = "2022",

doi = "10.1007/978-3-031-06944-4_25",

language = "English (US)",

isbn = "9783031069437",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "731--758",

editor = "Orr Dunkelman and Stefan Dziembowski",

booktitle = "Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings",

address = "Germany",

}

TY - GEN

T1 - COA-Secure Obfuscation and Applications

AU - Canetti, Ran

AU - Chakraborty, Suvradip

AU - Khurana, Dakshita

AU - Kumar, Nishant

AU - Poburinnaya, Oxana

AU - Prabhakaran, Manoj

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85131933688&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85131933688&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-06944-4_25

DO - 10.1007/978-3-031-06944-4_25

M3 - Conference contribution

AN - SCOPUS:85131933688

SN - 9783031069437

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 731

EP - 758

BT - Advances in Cryptology – EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings

A2 - Dunkelman, Orr

A2 - Dziembowski, Stefan

PB - Springer

T2 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2022

Y2 - 30 May 2022 through 3 June 2022

ER -