Quantifying information flow in cryptographic systems

DOI10.1017/S0960129513000662MaRDI QIDQ5740629zbMATH OpenFDO

Authors Michael Backes, Boris Köpf

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129513000662

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) Cryptography (94A60)

Recommendations

• Quantifying probabilistic information flow in computational reactive systems
• Information theory and security: Quantitative information flow
• Recent developments in quantitative information flow (invited tutorial)
• On the Foundations of Quantitative Information Flow
• Information flow in interactive systems

Cites work

• A lower bound on the probability of decoding error for the finite-state channel (Corresp.)
• A Mathematical Theory of Communication
• Elements of Information Theory
• scientific article; zbMATH DE number 3316587 (Why is no real title available?)
• On information transmission over a finite buffer channel
• On the converse to the coding theorem for discrete memoryless channels (Corresp.)
• On the relationships between notions of simulation-based security
• Probabilistic encryption
• Statistical measurement of information leakage
• The reactive simulatability (RSIM) framework for asynchronous systems

Cited in

(2)

• Information flow in interactive systems
• Quantifying probabilistic information flow in computational reactive systems

This page was built for publication: Quantifying information flow in cryptographic systems

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