Pages that link to "Item:Q2453117"
From MaRDI portal
The following pages link to Quantitative information flow as safety and liveness hyperproperties (Q2453117):
Displaying 4 items.
- Hybrid statistical estimation of mutual information and its application to information flow (Q2414250) (← links)
- Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
- Quantifying information leakage of randomized protocols (Q2517235) (← links)
- Secure Multi-party Computation: Information Flow of Outputs and Game Theory (Q3304808) (← links)
