[Resource Topic] 2020/1009: Obfuscating Finite Automata

Welcome to the resource topic for 2020/1009

Title:
Obfuscating Finite Automata

Authors: Steven D. Galbraith, Lukas Zobernig

Abstract:

We construct a VBB and perfect circuit-hiding obfuscator for evasive deterministic finite automata using a matrix encoding scheme with a limited zero-testing algorithm. We construct the matrix encoding scheme by extending an existing matrix FHE scheme. Using obfuscated DFAs we can for example evaluate secret regular expressions or disjunctive normal forms on public inputs. In particular, the possibility of evaluating regular expressions solves the open problem of obfuscated substring matching.

ePrint: https://eprint.iacr.org/2020/1009

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .