The following pages link to (Q2763665):
Displayed 4 items.
- Security types preserving compilation (Q865705) (← links)
- Abstract interpretation of operational semantics for secure information flow. (Q1853040) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Quantifying Probabilistic Information Flow in Computational Reactive Systems (Q5862670) (← links)