Efficient obfuscation for CNF circuits and applications in cloud computing

DOI10.1007/S00500-017-2921-ZMaRDI QIDQ2001194zbMATH OpenOpenAlexFDO

Authors Huang Zhang, Fangguo Zhang, Rong Cheng, Haibo Tian

Publication date 2 July 2019

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-017-2921-z

zbMATH Keywords

cloud signingCNF circuitsobfuscationvirtual black-box security

Mathematics Subject Classification ID

Internet topics (68M11) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding
• Black-box obfuscation for \(d\)-CNFs
• Obfuscating circuits via composite-order graded encoding
• Obfuscating circuits via composite-order graded encoding
• Shorter circuit obfuscation in challenging security models

Cites work

• Annihilation Attacks for Multilinear Maps: Cryptanalysis of Indistinguishability Obfuscation over GGH13
• Black-box obfuscation for \(d\)-CNFs
• Candidate indistinguishability obfuscation and functional encryption for all circuits
• Candidate Multilinear Maps from Ideal Lattices
• Cryptanalysis of GGH map
• Cryptanalysis of the multilinear map over the integers
• Cryptanalysis of the new CLT multilinear map over the integers
• Fully homomorphic encryption using ideal lattices
• Functional encryption: definitions and challenges
• Graph-induced multilinear maps from lattices
• Hosting services on an untrusted cloud
• How to obfuscate programs directly
• scientific article; zbMATH DE number 1583797 (Why is no real title available?)
• scientific article; zbMATH DE number 1996402 (Why is no real title available?)
• scientific article; zbMATH DE number 1842483 (Why is no real title available?)
• Indistinguishability obfuscation from semantically-secure multilinear encodings
• New Multilinear Maps Over the Integers
• Obfuscating conjunctions
• On the (im)possibility of obfuscating programs
• Post-zeroizing obfuscation: new mathematical tools, and the case of evasive circuits
• Practical multilinear maps over the integers
• Protecting obfuscation against algebraic attacks
• Secure Obfuscation in a Weak Multilinear Map Model
• Symmetric-key based proofs of retrievability supporting public verification
• Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding
• Zeroizing Without Low-Level Zeroes: New MMAP Attacks and their Limitations

Cited in

(1)

• Hosting services on an untrusted cloud

This page was built for publication: Efficient obfuscation for CNF circuits and applications in cloud computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001194)