The following pages link to Abstract non-interference (Q3452260):
Displaying 16 items.
- Maximizing entropy over Markov processes (Q465487) (← links)
- Partial evaluation of string obfuscations for Java malware detection (Q511016) (← links)
- Relational bytecode correlations (Q710672) (← links)
- Software watermarking: a semantics-based approach (Q1650961) (← 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)
- Is Your Software on Dope? (Q2988635) (← 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)
- Semantics-based software watermarking by abstract interpretation (Q4611201) (← links)
- What You Lose is What You Leak: Information Leakage in Declassification Policies (Q5262929) (← links)
- Abstract Program Slicing (Q5278199) (← links)
- Automation of Quantitative Information-Flow Analysis (Q5300883) (← links)
- Deriving Bisimulations by Simplifying Partitions (Q5452714) (← links)
- Timing-Sensitive Information Flow Analysis for Synchronous Systems (Q5862523) (← links)
