Obfuscating finite automata

DOI10.1007/978-3-030-81652-0_4MaRDI QIDQ832331zbMATH OpenOpenAlexFDO

Authors Steven D. Galbraith, Lukas Zobernig

Publication date 25 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-81652-0_4

zbMATH Keywords

evasive deterministic finite automataperfect circuit-hiding obfuscatorvirtual black box

Mathematics Subject Classification ID

Computational learning theory (68Q32) Cryptography (94A60)

Recommendations

• Advances in Cryptology - EUROCRYPT 2004
• Homomorphic encryption for finite automata
• Obfuscation for evasive functions
• On the (im)possibility of obfuscating programs
• scientific article; zbMATH DE number 1842483

Cites work

• scientific article; zbMATH DE number 1008506 (Why is no real title available?)
• A simple obfuscation scheme for pattern-matching with wildcards
• Advances in Cryptology - EUROCRYPT 2004
• Candidate indistinguishability obfuscation and functional encryption for all circuits
• GGH15 beyond permutation branching programs: proofs, attacks, and candidates
• Graph-induced multilinear maps from lattices
• Homomorphic encryption for finite automata
• New techniques for obfuscating conjunctions
• Obfuscated fuzzy Hamming distance and conjunctions from subset product problems
• Obfuscating conjunctions
• Obfuscating conjunctions under entropic ring LWE
• Obfuscation for evasive functions
• Obfuscation of hyperplane membership
• On perfect correctness in (lockable) obfuscation
• On the Concept of Software Obfuscation in Computer Security
• Packing messages and optimizing bootstrapping in GSW-FHE
• Pattern matching on encrypted streams
• Trapdoors for lattices: simpler, tighter, faster, smaller
• Universal Constructions and Robust Combiners for Indistinguishability Obfuscation and Witness Encryption
• Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding

Cited in

(4)

• Efficient oblivious evaluation protocol and conditional disclosure of secrets for DFA
• Opacity of finite automata
• Obfuscating evasive decision trees
• R3PO: reach-restricted reactive program obfuscation and its applications

This page was built for publication: Obfuscating finite automata

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