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

Mathematics Subject Classification ID

Information theory (general) (94A15) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

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

Describes a project that uses

Uses Software

• Apron
• veriSoft
• KLEE
• PPL
• DART
• ASTREE

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)