A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
HyLeak: Hybrid Analysis Tool for Information Leakage
[chapter]
2017
Lecture Notes in Computer Science
We present HyLeak, a tool for reasoning about the quantity of information leakage in programs. The tool takes as input the source code of a program and analyzes it to estimate the amount of leaked information measured by mutual information. The leakage estimation is mainly based on a hybrid method that combines precise program analysis with statistical analysis using stochastic program simulation. This way, the tool combines the best of both symbolic and randomized techniques to provide more
doi:10.1007/978-3-319-68167-2_11
fatcat:whuqbirtnrhmnojfn5cpydvsha