Efficient obfuscation for CNF circuits and applications in cloud computing

DOI10.1007/S00500-017-2921-ZzbMATH Open1415.68067OpenAlexW2769541633MaRDI QIDQ2001194FDOQ2001194

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

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

zbMATH Keywords

obfuscationcloud signingCNF circuitsvirtual black-box security

Mathematics Subject Classification ID

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

Cites Work

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

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)