Paper Search Console

Home Search Page Alphabetical List About Contact

Journal Title

Title of Journal:

Search In Journal Title:


Search In Journal Abbravation:


Springer, Cham

Search In Publisher:



Search In DOI:


Search In ISSN:
Search In Title Of Papers:

Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs

Authors: Alexander Weigl,

Publish Date: 2016/9/26
Volume: , Issue:, Pages: 51-58
PDF Link


Quantitative Information Flow Analysis (QIF) measures the loss of an attacker’s uncertainty about the confidential information (pre-image) inside a software system after observing the system outputs (image). In this paper, we supplement the SAT-based QIF analysis for deterministic and terminating C programs, by introducing three algorithms for counting the pre-images and images, which utilizes advantages of incremental SAT solvers. Our tool sharpPI is competitive to mql, quail and chimp. An implementation is provided under Weigl—This work was supported by the DFG (German Research Foundation) in Priority Programme Reliably Secure Software Systems (RS3) – DFG Priority Programme 1496. Thanks to Vladimir Klebanov for feedback during the creation of this paper and Laurent Simon for a dessert in Lisbon.



Search In Abstract Of Papers:
Other Papers In This Journal:

Search Result:

Help video to use 'Paper Search Console'