The following pages link to (Q2849851):
Displaying 8 items.
- Information hiding in probabilistic concurrent systems (Q549174) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Quantitative information flow as safety and liveness hyperproperties (Q2453117) (← links)
- Anonymity protocols as noisy channels (Q2482451) (← links)
- Anonymity Protocols as Noisy Channels (Q3608463) (← links)
- On Privacy and Accuracy in Data Releases (Invited Paper) (Q5089262) (← links)
- A Monotonicity Principle for Information Theory (Q5415634) (← links)
- Compositional Methods for Information-Hiding (Q5458378) (← links)
