Quantitative Information Flow, Relations and Polymorphic Types

DOI10.1093/logcom/exi009zbMath1101.68560OpenAlexW1968724592MaRDI QIDQ3025333

Sebastian Hunt, Pasquale Malacaria, David Clark

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi009

zbMATH Keywords

polymorphisminformation theoryprogram analysislambda calculusparametricityInformation flow

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Measures of information, entropy (94A17) Information theory (general) (94A15) Combinatory logic and lambda calculus (03B40)

Related Items

Quantifying leakage in the presence of unreliable sources of information ⋮ Automation of Quantitative Information-Flow Analysis ⋮ Thermodynamic aspects of confidentiality ⋮ An axiomatization of information flow measures ⋮ Maximizing entropy over Markov processes ⋮ Precise quantitative information flow analysis -- a symbolic approach ⋮ Information Theory and Security: Quantitative Information Flow ⋮ Information hiding in probabilistic concurrent systems ⋮ An algebraic approach for reasoning about information flow ⋮ On the Foundations of Quantitative Information Flow ⋮ Quantitative Notions of Leakage for One-try Attacks ⋮ Quantitative Information Flow and Applications to Differential Privacy ⋮ Quantifying information leakage in process calculi ⋮ Timing-Sensitive Information Flow Analysis for Synchronous Systems