The following pages link to Abstract non-interference (Q3452260):
Displayed 10 items.
- Maximizing entropy over Markov processes (Q465487) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- Information Leakage Analysis by Abstract Interpretation (Q3075542) (← links)
- Modelling declassification policies using abstract domain completeness (Q3103614) (← links)
- Transforming Abstract Interpretations by Abstract Interpretation (Q3522058) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)