LeakWatch: Estimating Information Leakage from Java Programs

@inproceedings{Chothia2014LeakWatchEI,
  title={LeakWatch: Estimating Information Leakage from Java Programs},
  author={Tom Chothia and Yusuke Kawamoto and Chris Novakovic},
  booktitle={ESORICS},
  year={2014}
}
Programs that process secret data may inadvertently reveal information about those secrets in their publicly-observable output. This paper presents LeakWatch, a quantitative information leakage analysis tool for the Java programming language; it is based on a flexible "point-to-point" information leakage model, where secret and publicly-observable data may occur at any time during a program's execution. LeakWatch repeatedly executes a Java program containing both secret and publicly-observable… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 28 CITATIONS

F-BLEAU: Fast Black-Box Leakage Estimation

  • 2019 IEEE Symposium on Security and Privacy (SP)
  • 2019
VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Symbolic Side-Channel Analysis for Probabilistic Programs

  • 2018 IEEE 31st Computer Security Foundations Symposium (CSF)
  • 2018
VIEW 12 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND
HIGHLY INFLUENCED

Critical Systems: Formal Methods and Automated Verification

  • Lecture Notes in Computer Science
  • 2017
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES