The following pages link to On flow-sensitive security types (Q5348914):
Displayed 11 items.
- Relational bytecode correlations (Q710672) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Program and proof optimizations with type systems (Q953533) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser (Q2436507) (← links)
- Optimality and condensing of information flow through linear refinement (Q2464935) (← links)
- From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586) (← links)
- Abstract Certification of Global Non-interference in Rewriting Logic (Q3066121) (← links)
- Relational Decomposition (Q3087994) (← links)
- Abstract Interpretation of Symbolic Execution with Explicit State Updates (Q3638994) (← links)