The following pages link to (Q2764140):
Displayed 4 items.
- Formally sound implementations of security protocols with JavaSPI (Q1707348) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- Bisimulation for Demonic Schedulers (Q3617738) (← links)
- Abstractions Preserving Parameter Confidentiality (Q5862673) (← links)