Efficient obfuscation for CNF circuits and applications in cloud computing

DOI10.1007/s00500-017-2921-zzbMath1415.68067OpenAlexW2769541633MaRDI QIDQ2001194

Haibo Tian, Huang Zhang, Fangguo Zhang, Rong Cheng

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

obfuscationcloud signingCNF circuitsvirtual black-box security

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Candidate Indistinguishability Obfuscation and Functional Encryption for All Circuits
• Cryptanalysis of the New CLT Multilinear Map over the Integers
• Cryptanalysis of GGH Map
• Annihilation Attacks for Multilinear Maps: Cryptanalysis of Indistinguishability Obfuscation over GGH13
• Practical Multilinear Maps over the Integers
• Obfuscating Conjunctions
• Indistinguishability Obfuscation from Semantically-Secure Multilinear Encodings
• Cryptanalysis of the Multilinear Map over the Integers
• Hosting Services on an Untrusted Cloud
• How to Obfuscate Programs Directly
• Black-box obfuscation for d-CNFs
• Functional Encryption: Definitions and Challenges
• Secure Obfuscation in a Weak Multilinear Map Model
• Zeroizing Without Low-Level Zeroes: New MMAP Attacks and their Limitations
• New Multilinear Maps Over the Integers
• Candidate Multilinear Maps from Ideal Lattices
• Symmetric-Key Based Proofs of Retrievability Supporting Public Verification
• Fully homomorphic encryption using ideal lattices
• Graph-Induced Multilinear Maps from Lattices
• On the (im)possibility of obfuscating programs
• Protecting Obfuscation against Algebraic Attacks
• Post-zeroizing Obfuscation: New Mathematical Tools, and the Case of Evasive Circuits
• Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding