Automation of quantitative information-flow analysis
From MaRDI portal
Publication:5300883
Recommendations
- An automated quantitative information flow analysis for concurrent programs
- Precise quantitative information flow analysis -- a symbolic approach
- Information theory and security: Quantitative information flow
- The science of quantitative information flow
- What's the over/under? Probabilistic bounds on information leakage
Cites work
- scientific article; zbMATH DE number 3915608 (Why is no real title available?)
- scientific article; zbMATH DE number 1948404 (Why is no real title available?)
- scientific article; zbMATH DE number 1953274 (Why is no real title available?)
- A Mathematical Theory of Communication
- A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
- A probabilistic language based upon sampling functions
- Abstract non-interference
- Abstractions from proofs
- Anonymity protocols as noisy channels
- Information theory and security: Quantitative information flow
- On the Foundations of Quantitative Information Flow
- Quantifying information leakage in process calculi
- Quantitative Information Flow, Relations and Polymorphic Types
- Statistical measurement of information leakage
- Temporal verification of reactive systems: response
- The complexity of approximating entropy
- The octagon abstract domain
- Timing attacks on implementations of Diffie-Hellman, RSA, DSS, and other systems
Cited in
(6)- An automata based approach for verifying information flow properties
- Scalable approximation of quantitative information flow in programs
- What's the over/under? Probabilistic bounds on information leakage
- An automated quantitative information flow analysis for concurrent programs
- A better composition operator for quantitative information flow analyses
- Precise quantitative information flow analysis -- a symbolic approach
This page was built for publication: Automation of quantitative information-flow analysis
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5300883)