Pages that link to "Item:Q6045049"
From MaRDI portal
The following pages link to Upper bound computation of information leakages for unbounded recursion (Q6045049):
Displaying 4 items.
- Precise quantitative information flow analysis -- a symbolic approach (Q2453114) (← links)
- The Complexity of Quantitative Information Flow in Recursive Programs (Q2957526) (← links)
- The Leakage-Resilience Limit of a Computational Problem Is Equal to Its Unpredictability Entropy (Q3102216) (← links)
- Automata, Languages and Programming (Q5716770) (← links)