Pages that link to "Item:Q3103613"
From MaRDI portal
The following pages link to Secure information flow by self-composition (Q3103613):
Displayed 4 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- Formal verification of side-channel countermeasures using self-composition (Q2442950) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- Formalizing Probabilistic Noninterference (Q2938053) (← links)