Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Isolating Graphical Failure-Inducing Input for Privacy Protection in Error Reporting Systems

Isolating Graphical Failure-Inducing Input for Privacy Protection in Error Reporting Systems Abstract This work proposes a new privacy-enhancing system that minimizes the disclosure of information in error reports. Error reporting mechanisms are of the utmost importance to correct software bugs but, unfortunately, the transmission of an error report may reveal users’ private information. Some privacy-enhancing systems for error reporting have been presented in the past years, yet they rely on path condition analysis, which we show in this paper to be ineffective when it comes to graphical-based input. Knowing that numerous applications have graphical user interfaces (GUI), it is very important to overcome such limitation. This work describes a new privacy-enhancing error reporting system, based on a new input minimization algorithm called GUIᴍɪɴ that is geared towards GUI, to remove input that is unnecessary to reproduce the observed failure. Before deciding whether to submit the error report, the user is provided with a step-by-step graphical replay of the minimized input, to evaluate whether it still yields sensitive information. We also provide an open source implementation of the proposed system and evaluate it with well-known applications. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Proceedings on Privacy Enhancing Technologies de Gruyter

Isolating Graphical Failure-Inducing Input for Privacy Protection in Error Reporting Systems

Download PDF
18 pages

Loading next page...
 
/lp/de-gruyter/isolating-graphical-failure-inducing-input-for-privacy-protection-in-0Be4YbcYL8
Publisher
de Gruyter
Copyright
Copyright © 2016 by the
ISSN
2299-0984
eISSN
2299-0984
DOI
10.1515/popets-2016-0002
Publisher site
See Article on Publisher Site

Abstract

Abstract This work proposes a new privacy-enhancing system that minimizes the disclosure of information in error reports. Error reporting mechanisms are of the utmost importance to correct software bugs but, unfortunately, the transmission of an error report may reveal users’ private information. Some privacy-enhancing systems for error reporting have been presented in the past years, yet they rely on path condition analysis, which we show in this paper to be ineffective when it comes to graphical-based input. Knowing that numerous applications have graphical user interfaces (GUI), it is very important to overcome such limitation. This work describes a new privacy-enhancing error reporting system, based on a new input minimization algorithm called GUIᴍɪɴ that is geared towards GUI, to remove input that is unnecessary to reproduce the observed failure. Before deciding whether to submit the error report, the user is provided with a step-by-step graphical replay of the minimized input, to evaluate whether it still yields sensitive information. We also provide an open source implementation of the proposed system and evaluate it with well-known applications.

Journal

Proceedings on Privacy Enhancing Technologies – de Gruyter

Published: Apr 1, 2016

References

  • Practical Isolation of Failure - inducing Changes for Debugging Regression Faults
    Yu
  • CLAP : Recording Local Executions to Reproduce Concurrency Failures Proceedings of the th SIGPLAN Conference on Programming Language Design and Implementation New
    Huang
  • Clause Camouflage Automated Anonymization of Field Data Proceedings of the on New York
    Orso
  • Locating Faulty Code Using Failure - inducing Chops Proceedings of the th ACM International Conference on Automated Software New York
    Gupta
  • Inst of Standards Software Errors Cost Billion Annually NIST News Release http www nist gov director planning upload report pdf
  • Lightweight cooperative logging for fault replication in concurrent programs Dependable Systems and nd IFIP International Conference on
    Machado
  • University Cambridge University Study States Software Bugs Cost Economy Billion Per Year http www prweb com releases prweb htm
    Cambridge
  • http sourceforge net p pooka bugs
    Lexi
  • An Efficient SMT Proceedings of the Theory and Practice of Software th International Conference on Tools and Algorithms for the Construction and Analysis of
    De Moura
  • System for Generating Secure Crash Proceedings of the th Conference on USENIX Volume CA
    Broadwell
  • Better Bug Reporting with Better Privacy Proceedings of the th International Conference on Architectural Support for Programming Languages and Operating Systems New
    Castro
  • Privacy - aware Remote Error Analysis on Commodity Software Proceedings of the th Conference on CA
    Wang
  • Locating Faulty Code Using Failure - inducing Chops Proceedings of the th ACM International Conference on Automated Software New York
    Gupta
  • The Real Cost of Software Errors
    Zhivich
  • http sourceforge net projects lexi
    Lexi
  • The Real Cost of Software Errors
    Zhivich
  • Inst of Standards Software Errors Cost Billion Annually NIST News Release http www nist gov director planning upload report pdf
  • Practical Isolation of Failure - inducing Changes for Debugging Regression Faults
    Yu
  • Lightweight cooperative logging for fault replication in concurrent programs Dependable Systems and nd IFIP International Conference on
    Machado
  • Model checking GUI applications th International Conference on
    Mehlitz
  • MultiPathPrivacy Enhanced Privacy in Fault Replication Conference Ninth
    Louro
  • TV Browser http hilfe tvbrowser org viewtopic php hilit reproduce
  • http sourceforge net p lexi bugs
    Lexi
  • jEdit http sourceforge net p jedit bugs
  • Simplifying and isolating failureinducing input on
    Zeller
  • TV Browser http www tvbrowser org
  • Documentation Rennes
    Prud
  • Probabilistic Replay with Execution Sketching on Multiprocessors Proceedings of the ACM on Operating Systems Principles New
    Park
  • de The solver
    Dutertre
  • The Complexity of Theorem - proving Procedures Proceedings of the Third Annual ACM Symposium on Theory of Computing New York
    Cook
  • Combining Slicing and Constraint Solving for Validation of Measurement Software Proceedings of the Third International Symposium on Static
    Snelting
  • Simplifying and isolating failureinducing input on
    Zeller
  • An Efficient SMT Proceedings of the Theory and Practice of Software th International Conference on Tools and Algorithms for the Construction and Analysis of
    De Moura
  • An of Use Across Organisations in Europe North http www wellnomics com assets Uploads WorkPace News Wellnomics white paper Comparison of Computer Use across different Countries pdf
    Wellnomics
  • jEdit http www jedit org
  • Automated bug tracking the promise and the pitfalls
    McLaughlin
  • CLAP : Recording Local Executions to Reproduce Concurrency Failures Proceedings of the th SIGPLAN Conference on Programming Language Design and Implementation New
    Huang
  • Isolating Failure - Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification
    Shakya
  • http sourceforge net projects columba
    Columba
  • Isolating Failure - Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification
    Shakya
  • http sourceforge net p lexi bugs
    Lexi
  • TV Browser http hilfe tvbrowser org viewtopic php hilit reproduce
  • TV Browser http www tvbrowser org
  • University Cambridge University Study States Software Bugs Cost Economy Billion Per Year http www prweb com releases prweb htm
    Cambridge
  • Clause Camouflage Automated Anonymization of Field Data Proceedings of the on New York
    Orso
  • Probabilistic Replay with Execution Sketching on Multiprocessors Proceedings of the ACM on Operating Systems Principles New
    Park
  • MultiPathPrivacy Enhanced Privacy in Fault Replication Conference Ninth
    Louro
  • Combining Slicing and Constraint Solving for Validation of Measurement Software Proceedings of the Third International Symposium on Static
    Snelting
  • An of Use Across Organisations in Europe North http www wellnomics com assets Uploads WorkPace News Wellnomics white paper Comparison of Computer Use across different Countries pdf
    Wellnomics
  • http sourceforge net projects lexi
    Lexi
  • The Complexity of Theorem - proving Procedures Proceedings of the Third Annual ACM Symposium on Theory of Computing New York
    Cook
  • http sourceforge net p pooka bugs
    Lexi
  • Privacy - aware Remote Error Analysis on Commodity Software Proceedings of the th Conference on CA
    Wang
  • de The solver
    Dutertre
  • http www suberic net pooka
    Suberic
  • Better Bug Reporting with Better Privacy Proceedings of the th International Conference on Architectural Support for Programming Languages and Operating Systems New
    Castro
  • http sourceforge net projects columba
    Columba
  • Model checking GUI applications th International Conference on
    Mehlitz
  • Automated bug tracking the promise and the pitfalls
    McLaughlin
  • Iterative debugging on Software Tools for Technology Transfer
    Artho
  • and Replay GUIBased Applications with Less Overhead International Symposium on Software Reliability Engineering Workshops
    Matos
  • Documentation Rennes
    Prud
  • Iterative debugging on Software Tools for Technology Transfer
    Artho
  • System for Generating Secure Crash Proceedings of the th Conference on USENIX Volume CA
    Broadwell
  • Output deterministic Replay for Multicore Debugging Proceedings of the on Operating Systems Principles New York
    Altekar
  • and Replay GUIBased Applications with Less Overhead International Symposium on Software Reliability Engineering Workshops
    Matos
  • http www suberic net pooka
    Suberic
  • jEdit http www jedit org
  • Output deterministic Replay for Multicore Debugging Proceedings of the on Operating Systems Principles New York
    Altekar
  • jEdit http sourceforge net p jedit bugs