Recent Progress on Privacy Enforcement through Obfuscation
Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman

Citation
Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia, Yi-Chin Wu, Yidding Ji, Vasumathi Raman. "Recent Progress on Privacy Enforcement through Obfuscation". Talk or presentation, 29, October, 2016; Poster presented at the 2016 TerraSwarm Annual Meeting.

Abstract
We have been investigating the enforcement of opacity, an information-flow privacy property, using edit functions that modify the output of the system by event insertions or deletions. The intruder is characterized as a passive external observer whose malicious goal is to infer system secrets from observed traces of system events. Previously, we considered the problem of enforcing opacity under the assumption that the intruder does not know the structure of the edit function. In the past year, we have investigated the problem of public-private (PP-) enforceability, which requires that opacity be preserved even if the intruder knows or discovers the structure of the edit function. We have solved the problem of synthesizing PP-enforcing insertion functions. We will investigate the more general case of PP-enforcing edit functions next. We are also investigating the more powerful method of insertions or deletions based on the exact system state, as opposed to the observed system state. In this case, the edit function would be embedded into the system itself, rather than being an output interface. Our goal is to develop computationally-efficient methods that (i) verify if a valid edit function exits in this setting; and (ii) if one exists, synthesize one that is optimal with respect to a given optimality criterion, which could be logical or quantitative.

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

  Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia,
  Yi-Chin Wu, Yidding Ji, Vasumathi Raman. <a
  href="http://www.terraswarm.org/pubs/877.html"><i>Recent
  Progress on Privacy Enforcement through
  Obfuscation</i></a>, Talk or presentation,  29,
  October, 2016; Poster presented at the <a
  href="http://terraswarm.org/conferences/16/annual"
  >2016 TerraSwarm Annual Meeting</a>.

• Plain text

  Christoforos Keroglou, Stephane Lafortune, Sanjit Seshia,
  Yi-Chin Wu, Yidding Ji, Vasumathi Raman. "Recent
  Progress on Privacy Enforcement through Obfuscation".
  Talk or presentation,  29, October, 2016; Poster presented
  at the <a
  href="http://terraswarm.org/conferences/16/annual"
  >2016 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{KeroglouLafortuneSeshiaWuJiRaman16_RecentProgressOnPrivacyEnforcementThroughObfuscation,
      author = {Christoforos Keroglou and Stephane Lafortune and
                Sanjit Seshia and Yi-Chin Wu and Yidding Ji and
                Vasumathi Raman},
      title = {Recent Progress on Privacy Enforcement through
                Obfuscation},
      day = {29},
      month = {October},
      year = {2016},
      note = {Poster presented at the <a
                href="http://terraswarm.org/conferences/16/annual"
                >2016 TerraSwarm Annual Meeting</a>.},
      abstract = {We have been investigating the enforcement of
                opacity, an information-flow privacy property,
                using edit functions that modify the output of the
                system by event insertions or deletions. The
                intruder is characterized as a passive external
                observer whose malicious goal is to infer system
                secrets from observed traces of system events.
                Previously, we considered the problem of enforcing
                opacity under the assumption that the intruder
                does not know the structure of the edit function.
                In the past year, we have investigated the problem
                of public-private (PP-) enforceability, which
                requires that opacity be preserved even if the
                intruder knows or discovers the structure of the
                edit function. We have solved the problem of
                synthesizing PP-enforcing insertion functions. We
                will investigate the more general case of
                PP-enforcing edit functions next. We are also
                investigating the more powerful method of
                insertions or deletions based on the exact system
                state, as opposed to the observed system state. In
                this case, the edit function would be embedded
                into the system itself, rather than being an
                output interface. Our goal is to develop
                computationally-efficient methods that (i) verify
                if a valid edit function exits in this setting;
                and (ii) if one exists, synthesize one that is
                optimal with respect to a given optimality
                criterion, which could be logical or quantitative.},
      URL = {http://terraswarm.org/pubs/877.html}
  }
  

Posted by Christoforos Keroglou, PhD on 28 Oct 2016.
Groups: services