Pages that link to "Item:Q3189801"
From MaRDI portal
The following pages link to Assessing security threats of looping constructs (Q3189801):
Displaying 20 items.
- Min-entropy as a resource (Q385717) (← links)
- Maximizing entropy over Markov processes (Q465487) (← links)
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Probabilistic and nondeterministic aspects of anonymity (Q843094) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- Sampling automata and programs (Q2339473) (← links)
- Quantifying leakage in the presence of unreliable sources of information (Q2361344) (← links)
- Hybrid statistical estimation of mutual information and its application to information flow (Q2414250) (← links)
- An axiomatization of information flow measures (Q2422017) (← links)
- Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
- Quantitative Notions of Leakage for One-try Attacks (Q2805152) (← links)
- Formalization of Entropy Measures in HOL (Q3088009) (← links)
- Quantitative Information Flow and Applications to Differential Privacy (Q3092184) (← links)
- Quantifying Vulnerability of Secret Generation Using Hyper-Distributions (Q3304804) (← links)
- Compositional Synthesis of Leakage Resilient Programs (Q3304821) (← links)
- Information Theory and Security: Quantitative Information Flow (Q3575030) (← links)
- On the Foundations of Quantitative Information Flow (Q3617736) (← links)
- Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849) (← links)
- Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) (Q5739351) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)
