The following pages link to On flow-sensitive security types (Q5348914):
Displayed 19 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)
- Controlling file access with types (Q1744439) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← 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)
- Taming Message-Passing Communication in Compositional Reasoning About Confidentiality (Q5055995) (← links)
- (Q5856419) (← links)
- On the security and safety of AbU systems (Q6045050) (← links)
- Sound symbolic execution via abstract interpretation and its application to security (Q6174402) (← links)
- Output-sensitive information flow analysis (Q6190181) (← links)