Recent developments in quantitative information flow (invited tutorial)

DOI10.1109/LICS.2015.13MaRDI QIDQ4635788zbMATH OpenOpenAlexFDO

Authors

Publication date 23 April 2018

Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2015.13

zbMATH Keywords

cryptography

Mathematics Subject Classification ID

Cryptography (94A60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Channel models (including quantum) in information and communication theory (94A40)

Recommendations

• The science of quantitative information flow
• On the Compositionality of Quantitative Information Flow
• Information theory and security: Quantitative information flow
• On the Foundations of Quantitative Information Flow
• Quantitative information flow and applications to differential privacy

Cited in

(31)

• Algebraic foundations for quantitative information flow
• Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols
• Quantitative information flow under generic leakage functions and adaptive adversaries
• Information theory and security: Quantitative information flow
• Information flow in interactive systems
• Entropy and attack models in information flow (Invited talk)
• Abstract channels and their robust information-leakage ordering
• Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
• The science of quantitative information flow
• Securing a compiler transformation
• Sound probabilistic \#SAT with projection
• A better composition operator for quantitative information flow analyses
• scientific article; zbMATH DE number 5158914 (Why is no real title available?)
• On the Compositionality of Quantitative Information Flow
• The Liang-Kleeman information flow: theory and applications
• What's the over/under? Probabilistic bounds on information leakage
• Quantitative notions of leakage for one-try attacks
• Quantitative information flow and applications to differential privacy
• Assessing security threats of looping constructs
• On the Foundations of Quantitative Information Flow
• Quantifying information flow in cryptographic systems
• Core-concavity, Gain Functions and Axioms for Information Leakage
• Refinement Metrics for Quantitative Information Flow
• Experiments in information flow analysis
• Quantitative information flow, with a view
• Upper bound computation of information leakages for unbounded recursion
• On the Additive Capacity Problem for Quantitative Information Flow
• Quantifying leakage in the presence of unreliable sources of information
• An axiomatization of information flow measures
• A demonic lattice of information
• Thermodynamic aspects of confidentiality

This page was built for publication: Recent developments in quantitative information flow (invited tutorial)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635788)