Automation of Quantitative Information-Flow Analysis

DOI10.1007/978-3-642-38874-3_1zbMath1380.68173OpenAlexW98374482MaRDI QIDQ5300883

Andrey Rybalchenko, Boris Köpf

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

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

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• The octagon abstract domain
• Quantifying information leakage in process calculi
• Anonymity protocols as noisy channels
• Quantitative Information Flow, Relations and Polymorphic Types
• Abstract non-interference
• Abstractions from proofs
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
• Statistical Measurement of Information Leakage
• Information Theory and Security: Quantitative Information Flow
• The complexity of approximating entropy
• Temporal Verification of Reactive Systems: Response
• On the Foundations of Quantitative Information Flow
• A Polynomial Time Algorithm for Counting Integral Points in Polyhedra When the Dimension is Fixed
• A probabilistic language based upon sampling functions

This page was built for publication: Automation of Quantitative Information-Flow Analysis