Obfuscator Synthesis for Opacity
Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune

Citation
Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune. "Obfuscator Synthesis for Opacity". Talk or presentation, October, 2015; Poster presented at the 2015 TerraSwarm Annual Meeting.

Abstract
Opacity is a privacy notion that captures whether a malicious observer can know for sure whether the secret of the system has occurred based on its observation. When opacity fails to hold, one method to enforce or enhance opacity is to obfuscate the secret-revealing output traces. This poster describes two obfuscator synthesis algorithms: (1) synthesize an "optimal" obfuscator for stochastic systems that maximizes the opacity probability; and (2) synthesize an utility-aware obfuscator for non-stochastic systems that obfuscates the secret while preserving output utility.

Electronic downloads


Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune. <a
    href="http://www.terraswarm.org/pubs/654.html"><i>Obfuscator
    Synthesis for Opacity</i></a>, Talk or
    presentation,  October, 2015; Poster presented at the <a
    href="http://terraswarm.org/conferences/15/annual"
    >2015 TerraSwarm Annual Meeting</a>.
  • Plain text
    Yi-Chin Wu, Sanjit Seshia, Stephane Lafortune.
    "Obfuscator Synthesis for Opacity". Talk or
    presentation,  October, 2015; Poster presented at the <a
    href="http://terraswarm.org/conferences/15/annual"
    >2015 TerraSwarm Annual Meeting</a>.
  • BibTeX
    @presentation{WuSeshiaLafortune15_ObfuscatorSynthesisForOpacity,
        author = {Yi-Chin Wu and Sanjit Seshia and Stephane Lafortune},
        title = {Obfuscator Synthesis for Opacity},
        month = {October},
        year = {2015},
        note = {Poster presented at the <a
                  href="http://terraswarm.org/conferences/15/annual"
                  >2015 TerraSwarm Annual Meeting</a>.},
        abstract = {Opacity is a privacy notion that captures whether
                  a malicious observer can know for sure whether the
                  secret of the system has occurred based on its
                  observation. When opacity fails to hold, one
                  method to enforce or enhance opacity is to
                  obfuscate the secret-revealing output traces. This
                  poster describes two obfuscator synthesis
                  algorithms: (1) synthesize an "optimal" obfuscator
                  for stochastic systems that maximizes the opacity
                  probability; and (2) synthesize an utility-aware
                  obfuscator for non-stochastic systems that
                  obfuscates the secret while preserving output
                  utility.},
        URL = {http://terraswarm.org/pubs/654.html}
    }
    

Posted by Yi-Chin Wu on 9 Oct 2015.
Groups: services

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.