Pages that link to "Item:Q3557088"

The following pages link to Computing the Leakage of Information-Hiding Systems (Q3557088):

Displaying 11 items.

• Min-entropy as a resource (Q385717) (← links)
• Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
• An algebraic approach for reasoning about information flow (Q2024334) (← links)
• Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
• Compositional methods for information-hiding (Q2971070) (← links)
• On the Relation between Differential Privacy and Quantitative Information Flow (Q3012909) (← links)
• Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
• Preface to the special issue on quantitative information flow (Q5740621) (← links)
• A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)
• Asymptotic information leakage under one-try attacks (Q5740624) (← links)
• Quantifying opacity (Q5740626) (← links)