Information theory and security: Quantitative information flow
From MaRDI portal
Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Cryptography (94A60)
Recommendations
Cites work
- A lattice model of secure information flow
- A Mathematical Theory of Communication
- A new outlook on Shannon's information measures
- Anonymity protocols as noisy channels
- Assessing security threats of looping constructs
- Entropy and semivaluations on semilattices
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 3776831 (Why is no real title available?)
- scientific article; zbMATH DE number 107482 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- Information theory and security: Quantitative information flow
- On the Foundations of Quantitative Information Flow
- Quantitative Information Flow, Relations and Polymorphic Types
- Quantitative notions of leakage for one-try attacks
- Static Analysis
- Statistical measurement of information leakage
- The lattice theory of information
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(31)- Theoretical aspects of information security
- A demonic lattice of information
- Abstractions of non-interference security: probabilistic versus possibilistic
- An algebraic approach for reasoning about information flow
- The science of quantitative information flow
- Experiments in information flow analysis
- An axiomatization of information flow measures
- Precise quantitative information flow analysis -- a symbolic approach
- Quantified interference for a while language
- The complexity of quantitative information flow in recursive programs
- Quantitative information flow and applications to differential privacy
- On the incomparability of cache algorithms in terms of timing leakage
- Entropy and attack models in information flow (Invited talk)
- Assessing security threats of looping constructs
- Information theory and security: Quantitative information flow
- Introduction to the Special Issue on Information Theoretic Security
- On the Foundations of Quantitative Information Flow
- Min-entropy as a resource
- Recent developments in quantitative information flow (invited tutorial)
- Quantitative security analysis for multi-threaded programs
- Formal analysis of information flow in HOL
- Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols
- Automation of quantitative information-flow analysis
- On the Compositionality of Quantitative Information Flow
- Algebraic foundations for quantitative information flow
- Quantifying information flow in cryptographic systems
- Quantifying probabilistic information flow in computational reactive systems
- An automated quantitative information flow analysis for concurrent programs
- On the Additive Capacity Problem for Quantitative Information Flow
- Refinement Metrics for Quantitative Information Flow
- Not all bugs are created equal, but robust reachability can tell the difference
This page was built for publication: Information theory and security: Quantitative information flow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3575030)
