Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  consider the problem of synthesizing an obfuscation policy that enforces privacy while preserving utility with formal guarantees. Specifically,  consider plants modeled as finite automata with pre-defined secret behaviors. A given plant generates event strings for some useful computation, but meanwhile wants to hide its secret behaviors from any outside observer.  formally capture the privacy and utility specifications using the automaton model of the plant. To enforce both specifications,  propose an obfuscation mechanism where an edit function "edits" the plant's output in a reactive manner.  develop algorithmic procedures that synthesize a correct-by-construction edit function satisfying both privacy and utility specifications. To address the state explosion problem,  encode the synthesis algorithm symbolically using Binary Decision Diagrams.  present EdiSyn, an implementation of our algorithms, along with experimental results demonstrating its performance on illustrative examples. This is the first work, to our knowledge, to successfully synthesize controllers satisfying both privacy and utility requirements.
['Yi Chin Wu', 'Vasumathi Raman', 'Stéphane Lafortune', 'Sanjit A. Seshia']
I am writing a research paper on a idea Obfuscator Synthesis for Privacy and Utility
[{"from": "human", "value": "I am writing a research paper on a idea Obfuscator Synthesis for Privacy and Utility"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  consider the problem of synthesizing an obfuscation policy that enforces privacy while preserving utility with formal guarantees. Specifically,  consider plants modeled as finite automata with pre-defined secret behaviors. A given plant generates event strings for some useful computation, but meanwhile wants to hide its secret behaviors from any outside observer.  formally capture the privacy and utility specifications using the automaton model of the plant. To enforce both specifications,  propose an obfuscation mechanism where an edit function \"edits\" the plant's output in a reactive manner.  develop algorithmic procedures that synthesize a correct-by-construction edit function satisfying both privacy and utility specifications. To address the state explosion problem,  encode the synthesis algorithm symbolically using Binary Decision Diagrams.  present EdiSyn, an implementation of our algorithms, along with experimental results demonstrating its performance on illustrative examples. This is the first work, to our knowledge, to successfully synthesize controllers satisfying both privacy and utility requirements."}]