Scalable approximation of quantitative information flow in programs
Quantitative information flow measurement techniques have been proven to be successful in
detecting leakage of confidential information from programs. Modern approaches are based …
detecting leakage of confidential information from programs. Modern approaches are based …
HyLeak: hybrid analysis tool for information leakage
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 …
programs. The tool takes as input the source code of a program and analyzes it to estimate …
Hybrid statistical estimation of mutual information and its application to information flow
Abstract Analysis of a probabilistic system often requires to learn the joint probability
distribution of its random variables. The computation of the exact distribution is usually an …
distribution of its random variables. The computation of the exact distribution is usually an …
[PDF][PDF] Quantifying information leakage of probabilistic programs using the PRISM model checker
K Salehi, AA Noroozi… - … Information, Systems and … - sepehram.github.io
Information leakage is the flow of information from secret inputs of a program to its public
outputs. One effective approach to identify information leakage and potentially preserve the …
outputs. One effective approach to identify information leakage and potentially preserve the …
Scalable Model Counting for Program Analysis
S Kim - 2022 - search.proquest.com
Various model counting techniques have been proposed to show their scalability for
problem domains such as combinatorics, safety analysis, probabilistic inference and …
problem domains such as combinatorics, safety analysis, probabilistic inference and …