Loading...
Please wait, while we are loading the content...
Similar Documents
Precise Quantitative Information Flow Analysis Using Symbolic Model Counting
| Content Provider | Semantic Scholar |
|---|---|
| Author | Klebanov, Vladimir |
| Copyright Year | 2012 |
| Abstract | Quantitative information flow analyses (QIF) are a class of techniques for measuring the amount of confidential information leaked by a program to its public outputs. QIF analyses can be approximative or precise, offering different trade-offs. In this paper, we lift a particular limitation of precise QIF. We show how symbolic model counting replaces explicit leak enumeration with symbolic computation, thus eliminating the associated bottleneck. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://formal.iti.kit.edu/klebanov/pubs/qasa2012.pdf |
| Alternate Webpage(s) | http://formal.iti.kit.edu/~klebanov/pubs/qasa2012.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |