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