Automation of quantitative information-flow analysis
DOI10.1007/978-3-642-38874-3_1zbMATH Open1380.68173OpenAlexW98374482MaRDI QIDQ5300883FDOQ5300883
Authors: Boris Köpf, Andrey Rybalchenko 
Publication date: 28 June 2013
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38874-3_1
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
Information theory (general) (94A15) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)
Cites Work
- Title not available (Why is that?)
- The octagon abstract domain
- A Mathematical Theory of Communication
- Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
- Abstractions from proofs
- Temporal verification of reactive systems: response
- A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
- Title not available (Why is that?)
- Anonymity protocols as noisy channels
- Quantitative Information Flow, Relations and Polymorphic Types
- Information theory and security: Quantitative information flow
- On the Foundations of Quantitative Information Flow
- Quantifying information leakage in process calculi
- Statistical measurement of information leakage
- Abstract non-interference
- Title not available (Why is that?)
- A probabilistic language based upon sampling functions
- The complexity of approximating entropy
Cited In (2)
Uses Software
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)
