Pages that link to "Item:Q3025333"
From MaRDI portal
The following pages link to Quantitative Information Flow, Relations and Polymorphic Types (Q3025333):
Displaying 14 items.
- Thermodynamic aspects of confidentiality (Q385720) (← links)
- Maximizing entropy over Markov processes (Q465487) (← links)
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- An algebraic approach for reasoning about information flow (Q2024334) (← links)
- Quantifying leakage in the presence of unreliable sources of information (Q2361344) (← links)
- An axiomatization of information flow measures (Q2422017) (← links)
- Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)
- Quantitative Notions of Leakage for One-try Attacks (Q2805152) (← links)
- Quantitative Information Flow and Applications to Differential Privacy (Q3092184) (← links)
- Information Theory and Security: Quantitative Information Flow (Q3575030) (← links)
- On the Foundations of Quantitative Information Flow (Q3617736) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Timing-Sensitive Information Flow Analysis for Synchronous Systems (Q5862523) (← links)
